CoderionLabs / exoberryLinks
An exokernel for the raspberry pi 3.
☆81Updated 3 years ago
Alternatives and similar repositories for exoberry
Users that are interested in exoberry are comparing it to the libraries listed below
Sorting:
- Modular kernel built for simplicity☆93Updated 8 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Operating System☆132Updated 3 years ago
- UEFI boot loader☆80Updated 3 years ago
- The development version of the L4Re Microkernel☆140Updated 2 weeks ago
- ☆59Updated 2 weeks ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A Small RISC-V Virtual Machine☆83Updated 3 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- Many Threads Operating System☆17Updated 3 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆199Updated last month
- The Puppy Operating System☆26Updated 6 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Updated 5 years ago
- Acess2 Hobby Operating System☆87Updated last year
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆69Updated 3 years ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆25Updated 9 years ago
- The core components of the L4Re operating system.☆92Updated 2 weeks ago
- Metta OS☆70Updated 9 months ago
- my homebrew OS☆33Updated 4 years ago
- A network stack implementation for xv6 OS☆34Updated 6 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Updated 4 years ago
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- ☆60Updated 7 years ago
- A small arm/x86(-64) libc☆90Updated 2 months ago
- ☆19Updated 10 years ago
- A basic microkernel☆36Updated 12 years ago
- Using TinyCC to compile Linux kernels☆65Updated 9 years ago