seL4 / camkes-manifestLinks
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.
☆22Updated last month
Alternatives and similar repositories for camkes-manifest
Users that are interested in camkes-manifest are comparing it to the libraries listed below
Sorting:
- RTOS based on L4 microkernel.☆18Updated 7 years ago
- ☆27Updated last month
- Mirror of git.qemu.org/openbios.git☆23Updated last year
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Updated 3 months ago
- Reference manual for the Genode OS Framework☆24Updated last month
- Component Architecture test suite and example apps.☆30Updated last month
- The core components of the L4Re operating system.☆93Updated last week
- Basic tools for building seL4 projects☆50Updated last month
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 2 months ago
- FreeBSD src tree☆18Updated 4 years ago
- Codezero Microkernel☆112Updated 3 years ago
- sel4 benchmarking applications and support library.☆19Updated last month
- L4Ka::Hazelnut micro-kernel☆34Updated 10 years ago
- Mirror of git.qemu.org/vgabios.git☆26Updated 8 years ago
- RISC-V Specific Device Tree Documentation☆42Updated last year
- The main CAmkES tool☆27Updated last month
- OpenFirmware as used on OLPC (and elsewhere)☆115Updated 9 years ago
- The development version of the L4Re Microkernel☆142Updated this week
- OPAL boot and runtime firmware for POWER☆110Updated last week
- A set of utilities to process FCODE, OpenFirmware's byte code☆33Updated last month
- http://www.memtest.org☆55Updated 9 years ago
- This is the source of the seL4 docs.☆15Updated last week
- K42 Kernel☆30Updated 13 years ago
- Collection of community-maintained components for Genode☆47Updated last week
- ☆22Updated last year
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- UEFI boot loader☆81Updated 3 years ago
- RISC-V port of GNU's libc☆71Updated 4 years ago
- Mach4 archived source.☆19Updated last year
- NOVA userland☆48Updated 11 years ago