seL4 / util_libsLinks
☆61Updated last month
Alternatives and similar repositories for util_libs
Users that are interested in util_libs are comparing it to the libraries listed below
Sorting:
- The development version of the L4Re Microkernel☆154Updated this week
- The core components of the L4Re operating system.☆99Updated last week
- A 64-bit SMP-safe kernel for the PC architecture.☆89Updated 7 years ago
- Shell script to build gcc for various architectures☆86Updated 3 months ago
- Operating System☆135Updated 3 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Updated 6 months ago
- UEFI boot loader☆80Updated 3 years ago
- Codezero Microkernel☆111Updated 4 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 10 months ago
- A lightweight implementation of the fat32 filesystem specification in C for embedded systems.☆113Updated 5 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆61Updated 4 years ago
- aarch64 bare metal test on qemu☆109Updated 10 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Updated this week
- Modular kernel built for simplicity☆94Updated 8 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- L4Ka::Pistachio micro-kernel☆295Updated 6 years ago
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆31Updated 4 years ago
- K42 Kernel☆31Updated 13 years ago
- A component-based OS☆199Updated this week
- An ELF loader for embedded systems.☆167Updated 8 years ago
- The device tree library☆19Updated last week
- ☆92Updated 3 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆75Updated 9 months ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI☆30Updated 4 months ago
- A network stack implementation for xv6 OS☆38Updated 7 years ago
- Simple, single-file, dependency-free GDB stub that can be easily dropped in to your project.☆256Updated 3 years ago
- libelf☆83Updated 8 years ago
- Inofficial git-cvs clone of cvs@cvs.fefe.de:/cvs + some changes☆128Updated 6 years ago
- Virtual Machine built as a CAmkES component.☆24Updated 5 months ago