Joel Nider's repositories
pistachio
L4Ka::Pistachio micro-kernel
Language:C++000
pslse
Power Service Layer Simulation Engine
Language:C000
qemu
Official QEMU mirror
Language:CNOASSERTION000
virtual_io_acceleration
Virtual I/O acceleration technologies for KVM
Language:CNOASSERTION000
zerovm
Open-source lightweight virtualization platform
Language:CApache-2.0000