seL4 / refos-manifestLinks
Reference Operating system based on seL4 --- example code
☆22Updated 7 months ago
Alternatives and similar repositories for refos-manifest
Users that are interested in refos-manifest are comparing it to the libraries listed below
Sorting:
- Prototype no-assurance reference OS personality built on seL4☆50Updated 7 months ago
- Linux kernel source tree☆37Updated 6 years ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10Updated 5 months ago
- The Akaros operating system☆41Updated 5 years ago
- Linux Kernel Lua Scripting Engine☆62Updated 9 years ago
- A standalone library to implement GNU libc's obstack☆27Updated 2 years ago
- tinysh: minimal shell☆30Updated 13 years ago
- Virtual machine monitor for L4Re☆33Updated this week
- Portable Event Library☆18Updated 5 months ago
- NOVA userland☆48Updated 11 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated this week
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 4 years ago
- BSD-licensed CTF Implementation☆21Updated 10 years ago
- Basic tools for building seL4 projects☆50Updated 2 months ago
- Collection of community-maintained components for Genode☆47Updated this week
- Codezero Microkernel☆112Updated 3 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- The sources to compile Ravenports buildsheets☆19Updated this week
- [Please switch to NetBSD/pkgsrc] Automatically updated conversion of the "pkgsrc" module from anoncvs.netbsd.org☆121Updated 8 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…☆71Updated 2 years ago
- [DEPRECATED] repository mirror☆47Updated 2 years ago
- sel4 benchmarking applications and support library.☆19Updated 2 months ago
- Capability Distribution Language tools for seL4☆36Updated 2 months ago
- myLinux is an embedded operating system based on Buildroot and Finit☆86Updated last year
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Updated 6 years ago
- Provide musl as system C library for OpenEmbedded/Yocto☆22Updated 9 years ago
- Generic library for reporting various problems☆32Updated 2 weeks ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- bithacks.h is a C header file containing useful bit manipulation macros☆74Updated 15 years ago