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
- BSD-licensed CTF Implementation☆21Updated 10 years ago
- Collection of community-maintained components for Genode☆48Updated 2 weeks ago
- The Akaros operating system☆41Updated 5 years ago
- NOVA userland☆48Updated 11 years ago
- Basic tools for building seL4 projects☆50Updated 3 months ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10Updated 5 months ago
- Umeq is an equivalent of qemu user mode emulation with improved robustness☆22Updated 6 years ago
- Linux kernel source tree☆37Updated 6 years ago
- A standalone library to implement GNU libc's obstack☆27Updated 2 years ago
- Out-of-tree version of Linux' kconfig tool☆19Updated last year
- The sources to compile Ravenports buildsheets☆20Updated this week
- Linux Kernel Lua Scripting Engine☆62Updated 9 years ago
- ALLVM Tools☆56Updated 3 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 4 years ago
- A Shell to parse ELF files☆19Updated 2 years ago
- Portable Event Library☆18Updated 6 months ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆20Updated 6 years ago
- GNATcoverage: Coverage Analysis Tool☆44Updated this week
- A terminal emulator for running on bare x86 machines.☆44Updated 4 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated 2 years ago
- tinysh: minimal shell☆30Updated 13 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- ☆17Updated 9 years ago
- QCA 10.x mainline reference HAL - AR9380 and later series 802.11n NICs☆22Updated 10 years ago
- Upstream Linux Kernel Validation Project API☆38Updated last year
- FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)☆31Updated this week
- Auxiliary macros and functions for the C standard library☆14Updated 4 months ago
- A small suite of scripts and patches for building musl libc cross compilers.☆35Updated 9 years ago