My comments on the #Antithesis distributed-system #testing system using #hypervisor #virtualization
on 02025-10-21#Genode can run on Linux, its own micro #hypervisor NOVA, bare hardware, #seL4, Fiasco.OC, L4ka::Pistachio, OKL4, and L4/Fiasco
on 02022-10-12