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:
- NOVA Microhypervisor☆9Updated this week
- Command line tool to write to x86 boot flash chips via the PCH☆14Updated 8 years ago
- Extract Module.symvers info from a binary kernel☆48Updated 9 years ago
- OpenBSD/L4 port☆17Updated 8 years ago
- My presentations and papers☆46Updated 4 years ago
- 64-bit ARM OS/Kernel/Systems Development Demo on a Nexus 9☆24Updated 9 years ago
- An EFI image parser and dissector☆50Updated 12 years ago
- ☆40Updated 5 months ago
- Huffman decompression for version 11.x Intel ME modules☆30Updated 7 years ago
- A development util for ehci debug and spi flashing. See http://www.coreboot.org/BBB_screwdriver☆20Updated 8 years ago
- A C implementation of Spritz, a spongy RC4-like stream cipher and hash function.☆27Updated 9 years ago
- EsoLangVM Compiler Infrastructure☆11Updated 10 months ago
- ARM Trusted Firmware☆14Updated 7 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- loader to switch from aarch32 to aarch64 and boot☆12Updated 7 years ago
- Several example uses of TPM2/TSS APIs.☆10Updated 9 years ago
- an open source toolkit for PCI bus exploration☆71Updated 8 years ago
- Provide musl as system C library for OpenEmbedded/Yocto☆22Updated 9 years ago
- ☆34Updated 7 years ago
- This repository contains Python 2.7 scripts for parsing MFS/MFSB partition and extracting contained files.☆32Updated 7 years ago
- Image manipulation tools for the Management Engine firmware☆36Updated 6 years ago
- Official QEMU mirror☆31Updated 11 months ago
- TRiad Is A Decompiler. Triad is a tiny, free and open source, Capstone based x86 decompiler for ELF binaries.☆100Updated 9 years ago
- X.Org video driver for NVIDIA Tegra☆12Updated 3 years ago
- Tool to recover C headers (types, function signatures) from DWARF debug data☆47Updated 3 years ago
- Linux kernel for Qualcomm's Hexagon processors☆9Updated 12 years ago
- ☆70Updated 5 years ago
- unofficial grsecurity gpl release☆22Updated 6 years ago
- helper radare2 script to analyze UEFI firmware modules☆15Updated 6 years ago
- initify gcc plugin☆8Updated 8 years ago