seL4 / util_libs
☆58Updated 6 months ago
Alternatives and similar repositories for util_libs:
Users that are interested in util_libs are comparing it to the libraries listed below
- The development version of the L4Re Microkernel☆112Updated last week
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last month
- The core components of the L4Re operating system.☆79Updated last week
- Basic tools for building seL4 projects☆45Updated 5 months ago
- Virtual Machine built as a CAmkES component.☆23Updated 6 months ago
- Test suite for seL4.☆25Updated last month
- Hello RISC-V 64!☆17Updated 6 years ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆242Updated this week
- Embedded C Library (mirror)☆135Updated 5 months ago
- aarch64 bare metal test on qemu☆93Updated 9 years ago
- Libelf is a simple library to read ELF files.☆48Updated 2 years ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- musl libc for RISC-V☆81Updated 5 years ago
- Codezero Microkernel☆107Updated 3 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- My gnu-efi development tree.☆71Updated 5 months ago
- Shell script to build gcc for various architectures☆79Updated 4 months ago
- An experimental virtual machine monitor for the seL4 microkernel☆33Updated this week
- Documentation and status of UEFI on RISC-V☆54Updated 3 years ago
- A lightweight implementation of the fat32 filesystem specification in C for embedded systems.☆102Updated 4 years ago
- ELF64 Relocatable Object Loader☆25Updated 7 years ago
- ☆98Updated 5 years ago
- Capability Distribution Language tools for seL4☆35Updated 6 months ago
- sel4 benchmarking applications and support library.☆19Updated 3 weeks ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆195Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆23Updated 3 years ago
- ☆56Updated 2 years ago
- UEFI boot loader☆78Updated 2 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆49Updated 3 years ago