seL4 / util_libsLinks
☆59Updated 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☆142Updated this week
- The core components of the L4Re operating system.☆93Updated this week
- Shell script to build gcc for various architectures☆85Updated last month
- A 64-bit SMP-safe kernel for the PC architecture.☆88Updated 7 years ago
- A lightweight implementation of the fat32 filesystem specification in C for embedded systems.☆107Updated 5 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Updated 2 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 2 months ago
- Operating System☆133Updated 3 years ago
- Codezero Microkernel☆112Updated 3 years ago
- Acess2 Hobby Operating System☆88Updated last year
- An ELF loader for embedded systems.☆157Updated 7 years ago
- The device tree library☆19Updated this week
- L4Ka::Pistachio micro-kernel☆288Updated 5 years ago
- UEFI boot loader☆81Updated 3 years ago
- Pedigree operating system☆91Updated 9 years ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 6 months ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆29Updated 4 years ago
- Modular kernel built for simplicity☆93Updated 8 years ago
- K42 Kernel☆30Updated 13 years ago
- libelf☆83Updated 8 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 10 years ago
- UEFI app to load ELF and Raw binary☆30Updated 10 years ago
- A component-based OS☆191Updated 7 months ago
- Libelf is a simple library to read ELF files.☆55Updated 3 years ago
- Hello RISC-V 64!☆17Updated 7 years ago
- Sourceware.org's Newlib mirror with clang support for ARM baremetal☆72Updated 12 years ago
- An exokernel for the raspberry pi 3.☆81Updated 3 years ago
- ☆111Updated 6 years ago