Similar repositories to seL4/camkes-vm-manifest:

• seL4/camkes-vm-manifest github similar
• seL4/camkes-manifest github similar
• al3xtjames/Clover github similar
• telmich/gpm github similar
• mstpd/mstpd github similar
• bruceg/daemontools-encore github similar
• libhugetlbfs/libhugetlbfs github similar
• tpircher/pycrc github similar
• dosfstools/dosfstools github similar
• RehabMan/OS-X-MaciASL-patchmatic github similar
• pjotrp/bioinformatics github similar
• seL4/l4v github similar
• udosteinberg/NOVA github similar
• openstack/trove github similar
• thom311/libnl github similar
• crystal-lang/crystal-book github similar
• kaffe/kaffe github similar
• RehabMan/OS-X-FakeSMC-kozlek github similar
• openbsd/ports github similar
• linux-sunxi/sunxi-tools github similar
• att/ast github similar
• jeffpar/pcjs.v1 github similar
• bhollis/maruku github similar
• rake-compiler/rake-compiler github similar
• libhybris/libhybris github similar
• f9micro/f9-kernel github similar
• RehabMan/Laptop-DSDT-Patch github similar
• yesodweb/wai github similar
• zerovm/zerovm github similar
• GoClipse/goclipse github similar
• genodelabs/genode github similar
• rdnetto/YCM-Generator github similar
• BurntSushi/wingo github similar
• rumpkernel/rumprun github similar
• illumos/illumos-gate github similar
• 9fans/plan9port github similar
• proot-me/proot github similar
• seL4/seL4 github similar
• acidanthera/VirtualSMC github similar
• utahta/pythonbrew github similar