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
- UEFI boot loader☆80Updated 2 years ago
- K42 Kernel☆29Updated 13 years 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
- ☆19Updated 10 years ago
- Operating System☆132Updated 3 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆87Updated 7 years ago
- ☆59Updated 2 weeks ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- The Puppy Operating System☆26Updated 6 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆198Updated 2 weeks ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Pedigree operating system☆91Updated 9 years ago
- Shell script to build gcc for various architectures☆81Updated last week
- A toy x86-64 kernel.☆52Updated 10 years ago
- Capability-based exokernel for x86_64☆22Updated 8 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 4 months ago
- Libelf is a simple library to read ELF files.☆54Updated 3 years ago
- Metta OS☆70Updated 8 months ago
- The development version of the L4Re Microkernel☆140Updated last week
- Many Threads Operating System☆18Updated 3 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 9 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Using TinyCC to compile Linux kernels☆65Updated 9 years ago
- scc - simple C Compiler☆59Updated 8 years ago
- A small arm/x86(-64) libc☆88Updated 2 months ago
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆25Updated 9 years ago