seL4 / util_libs
☆55Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for util_libs
- The core components of the L4Re operating system.☆75Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 months ago
- The development version of the L4Re Microkernel☆105Updated last week
- Basic tools for building seL4 projects☆43Updated 2 months ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆50Updated 3 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- Hello RISC-V 64!☆17Updated 6 years ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- Virtual Machine built as a CAmkES component.☆23Updated 4 months ago
- aarch64 bare metal test on qemu☆92Updated 9 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆38Updated 5 years ago
- Libelf is a simple library to read ELF files.☆48Updated 2 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆28Updated this week
- my homebrew OS☆31Updated 4 years ago
- Test suite for seL4.☆25Updated 3 months ago
- A 64-bit SMP-safe kernel for the PC architecture.☆82Updated 6 years ago
- UEFI boot loader☆78Updated 2 years ago
- My gnu-efi development tree.☆71Updated 3 months ago
- Research Operating System Kernel☆61Updated last week
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- ☆19Updated 4 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆230Updated this week
- Codezero Microkernel☆105Updated 2 years ago
- A component-based OS☆185Updated 2 months ago
- Advanced Operating Systems project☆19Updated 2 months ago
- Capability Distribution Language tools for seL4☆35Updated 3 months ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆67Updated this week
- ☆57Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆86Updated last week
- Operating System☆132Updated 2 years ago