skalk / genodeLinks
Genode OS Framework
☆17Updated this week
Alternatives and similar repositories for genode
Users that are interested in genode are comparing it to the libraries listed below
Sorting:
- Command line tool to write to x86 boot flash chips via the PCH☆14Updated 8 years ago
- 64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9☆24Updated 10 years ago
- Simplified version of flashrom for installing new system firmware☆23Updated 2 years ago
- BlackBerry Android Device Kernel Source Code☆40Updated last year
- Huffman decompression for version 11.x Intel ME modules☆31Updated 8 years ago
- A development util for ehci debug and spi flashing. See http://www.coreboot.org/BBB_screwdriver☆19Updated 8 years ago
- ☆53Updated 11 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆42Updated 3 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 6 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- JEFF file format tools☆27Updated 9 years ago
- L4Ka::Hazelnut micro-kernel☆37Updated 10 years ago
- EsoLangVM Compiler Infrastructure☆11Updated last year
- NOVA userland☆48Updated 11 years ago
- My presentations and papers☆47Updated 5 years ago
- Version 2.0☆12Updated 9 years ago
- Emulate a Trusted Execution Environment that is running the GlobalPlaforms Internal API☆46Updated 2 years ago
- ☆45Updated 7 years ago
- Playground for various tools/code used during purism coreboot dev☆56Updated 7 years ago
- Project is now superseded by CoreFreq☆47Updated 8 years ago
- One-Time-Programmable (OTP) fusing tool☆65Updated 3 weeks ago
- Experimental version of QEMU with basic support for ARM TrustZone (security extensions)☆85Updated 12 years ago
- EDK II☆17Updated 5 years ago
- My tool for working with Intel Management Engine - RETIRED REPO (see coreboot for new upstream)☆163Updated 7 years ago
- PaX exception daemon - Temporarily abandoned due to the PaX and grsecurity patches becoming private☆41Updated 8 years ago
- Project to build and test seL4 for many different platforms☆16Updated last week
- OpenBSD/L4 port☆18Updated 8 years ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 3 weeks ago
- grsecurity is the most advanced Linux kernel hardening patchset. This repository, not affiliated with the upstream project, aggregate mos…☆86Updated 8 years ago
- ☆20Updated 3 years ago