seL4 / util_libs
☆55Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for util_libs
- The core components of the L4Re operating system.☆76Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- The development version of the L4Re Microkernel☆108Updated this week
- Basic tools for building seL4 projects☆43Updated 3 months ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆50Updated 3 years ago
- GCC Crosscompiler build scripts and instructions☆56Updated 8 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- Virtual Machine built as a CAmkES component.☆23Updated 4 months ago
- Test suite for seL4.☆25Updated 3 months ago
- aarch64 bare metal test on qemu☆92Updated 9 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆29Updated this week
- Hello RISC-V 64!☆17Updated 6 years ago
- my homebrew OS☆31Updated 4 years ago
- Shell script to build gcc for various architectures☆79Updated 3 months ago
- Libelf is a simple library to read ELF files.☆47Updated 2 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆83Updated 6 years ago
- musl libc for RISC-V☆81Updated 5 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- UEFI Reference Specification Protocol Constants and Definitions☆38Updated 5 years ago
- ☆57Updated last year
- Codezero Microkernel☆105Updated 2 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆87Updated 3 weeks ago
- Modular kernel built for simplicity☆90Updated 7 years ago
- Research Operating System Kernel☆61Updated this week
- My gnu-efi development tree.☆70Updated 3 months ago
- Documentation and status of UEFI on RISC-V☆53Updated 3 years ago
- Operating System☆132Updated 2 years ago
- ☆55Updated 2 years ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆231Updated this week