Computer science at Loyola Chicago. I’m interested in computer architecture, HPC and virtualization.
Right now I’m adding Intel VMX support to gem5. The project has progressed from individual VMX instructions to a functional virtualization lifecycle. A small 64-bit guest can enter VMX operation, launch, execute in VMX non-root mode, trigger selected VM exits, resume, and eventually return control to the host.
- gem5-vmx | Intel VMX for gem5’s x86 full-system simulator.
- VeriVerto | A five-stage RV32I processor in Verilog: hazards, forwarding, branches, and some experimental cache work.
- archspec | An early C++ library for gathering structured information about a Linux machine.
- PEENOS | A small bare-metal ARMv8 operating system for a Raspberry Pi 3B.
I will add pictures of my favorite plants here soon when they bloom!