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 development version of the L4Re Microkernel☆140Updated last week
- The core components of the L4Re operating system.☆92Updated last week
- 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.☆198Updated 3 weeks ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- Shell script to build gcc for various architectures☆81Updated 2 weeks ago
- Inofficial git-cvs clone of cvs@cvs.fefe.de:/cvs + some changes☆123Updated 6 years ago
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- UEFI boot loader☆80Updated 3 years ago
- Tiny ELF loader☆135Updated 2 years ago
- Codezero Microkernel☆109Updated 3 years ago
- my homebrew OS☆33Updated 4 years ago
- Acess2 Hobby Operating System☆87Updated last year
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 3 weeks ago
- An ELF loader for embedded systems.☆156Updated 7 years ago
- Operating System☆132Updated 3 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC☆47Updated last year
- A component-based OS☆191Updated 6 months ago
- Modular kernel built for simplicity☆93Updated 8 years ago
- L4Ka::Pistachio micro-kernel☆286Updated 5 years ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- K42 Kernel☆29Updated 13 years ago
- Basic tools for building seL4 projects☆49Updated last week
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆184Updated 2 years ago
- Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V☆71Updated 4 months ago
- The Public Domain C Library☆247Updated this week
- Sourceware.org's Newlib mirror with clang support for ARM baremetal☆72Updated 12 years ago