seL4 / util_libsLinks
☆59Updated last week
Alternatives and similar repositories for util_libs
Users that are interested in util_libs are comparing it to the libraries listed below
Sorting:
- The core components of the L4Re operating system.☆87Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆54Updated 2 months ago
- Basic tools for building seL4 projects☆48Updated this week
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- The development version of the L4Re Microkernel☆130Updated last week
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- aarch64 bare metal test on qemu☆99Updated 10 years ago
- my homebrew OS☆33Updated 4 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆52Updated 3 years ago
- A lightweight implementation of the fat32 filesystem specification in C for embedded systems.☆103Updated 5 years ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- bare metal ARM examples to be run with qemu-system-arm☆72Updated 6 years ago
- GCC Crosscompiler build scripts and instructions☆59Updated 8 years ago
- Hello RISC-V 64!☆17Updated 7 years ago
- Virtual Machine built as a CAmkES component.☆23Updated 2 months ago
- Operating System☆133Updated 3 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆40Updated last week
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- An ELF loader for embedded systems.☆151Updated 7 years ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆271Updated this week
- My gnu-efi development tree.☆72Updated 3 months ago
- LeOS operating system Kernel for AArch64 written in Rust☆80Updated 4 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 2 months ago
- Microbenchmarks for x86_64 kernel entry methods☆18Updated 3 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- A component-based OS☆189Updated 3 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago
- A Small RISC-V Virtual Machine☆79Updated 3 years ago