qemu

3 RFDs

RFD Title Labels State Implemented

21 Deterministic guest time model simferretdeterminism +4 published 43%19 Deterministic network fault model simferretdeterminism +5 committed 100%18 Deterministic execution proof of concept simferretarchitecture +6 committed 100%