GSoC 2026
Generic MinimumLinuxBoot for RTL Simulations
Booting Linux in OpenPiton's Verilator RTL simulation takes days. This project builds a checkpoint/restore pipeline: boot Linux in QEMU (minutes), extract machine state, convert it to OpenPiton's `mem.image` format, and resume execution in RTL simulation with Linux already running.
Project details
Technologies
Not listed in the archive