Checkpoints: Add checkpointing infrastructure for devices

chipsalliance / dromajo

RISC-V RV64GC emulator designed for RTL co-simulation

Apache License 2.0

210 stars 63 forks source link

Closed tomeroberts closed 5 months ago

tomeroberts commented 5 months ago

Extend the JSON library slightly to support writing out JSON trees
Add support in riscv_machine to dump the PLIC state and virtio device state as a JSON that can be read back in to restore it
Not all device state is stored yet, but this is enough to boot linux, checkpoint, restore from the checkpoint and then use the virtio filesystem. Which is handy.

et-tommythorn commented 5 months ago

Neat! Pulled, thanks.