seL4 / util_libsLinks
☆59Updated 2 months ago
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☆145Updated this week
- The core components of the L4Re operating system.☆94Updated this week
- 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.☆108Updated 5 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆199Updated 2 months ago
- Shell script to build gcc for various architectures☆85Updated 3 weeks ago
- A component-based OS☆191Updated 8 months ago
- Codezero Microkernel☆112Updated 3 years ago
- minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64☆191Updated 7 years ago
- Operating System☆134Updated 3 years ago
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- Inofficial git-cvs clone of cvs@cvs.fefe.de:/cvs + some changes☆126Updated 6 years ago
- Modular kernel built for simplicity☆93Updated 8 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 2 months ago
- __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC☆48Updated last year
- UEFI boot loader☆80Updated 3 years ago
- An exokernel for the raspberry pi 3.☆81Updated 3 years ago
- Libelf is a simple library to read ELF files.☆55Updated 3 years ago
- An ELF loader for embedded systems.☆156Updated 7 years ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆299Updated this week
- The device tree library☆19Updated 2 weeks ago
- Tiny ELF loader☆134Updated 2 years ago
- Acess2 Hobby Operating System☆88Updated last year
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆29Updated 4 years ago
- A small arm/x86(-64) libc☆91Updated 4 months ago
- L4Ka::Pistachio micro-kernel☆291Updated 6 years ago
- Rainbow OS☆58Updated 3 months ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 7 months ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago