seL4 / refos-manifestLinks
Reference Operating system based on seL4 --- example code
☆22Updated 8 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 8 months ago
- Collection of community-maintained components for Genode☆48Updated this week
- Basic tools for building seL4 projects☆51Updated this week
- NOVA userland☆48Updated 11 years ago
- Linux kernel source tree☆37Updated 6 years ago
- sel4 benchmarking applications and support library.☆19Updated 3 months ago
- ☆50Updated 9 years ago
- ALLVM Tools☆56Updated 3 years ago
- ☆20Updated 3 years ago
- [Please switch to NetBSD/pkgsrc] Automatically updated conversion of the "pkgsrc" module from anoncvs.netbsd.org☆120Updated 8 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆25Updated 7 years ago
- Unofficial mirror of xenbits.xen.org/xen.git☆75Updated 2 years ago
- Generic library for reporting various problems☆33Updated 3 weeks ago
- Codezero Microkernel☆111Updated 3 years ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- The sources to compile Ravenports buildsheets☆20Updated this week
- Virtio draft specification☆66Updated 12 years ago
- Out-of-tree version of Linux' kconfig tool☆19Updated last year
- Upstream Linux Kernel Validation Project API☆38Updated last year
- 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
- An Efficient and Retargetable Dynamic Binary Translator on Multicores☆32Updated 9 months ago
- FreeBSD GNOME development repo☆35Updated 4 years ago
- Linux Kernel Lua Scripting Engine☆62Updated 9 years ago
- Troglobit Toolbox -- Misc. home brewed code, free to use under GPL/MIT/ISC, see each snippet for license.☆10Updated 6 months ago
- File System Access Utilities in Userland☆78Updated 9 years ago
- Ninja build file generator for the Linux kernel☆56Updated 5 years ago
- Capability Distribution Language tools for seL4☆37Updated last week
- GNATcoverage: Coverage Analysis Tool☆45Updated this week
- Manifests for the collection of verification repositories☆15Updated this week
- K42 Kernel☆31Updated 13 years ago