jnider/seL4
The seL4 microkernel
Developer Profile
jnider
Discovered public repositories for jnider in the GitHub catalog.
jnider/pistachio
L4Ka::Pistachio micro-kernel
jnider/clonopoly
Monopoly clone using SDL. Intended for Linux, but may work on other systems that support SDL 1.2.
jnider/zerovm
Open-source lightweight virtualization platform
jnider/k42
K42 Kernel
jnider/osv
Public repository.
jnider/virtual_io_acceleration
Virtual I/O acceleration technologies for KVM
jnider/dominos
An open-source, general purpose operating system based on the JOEL4 microkernel.