CoderionLabs / exoberry
An exokernel for the raspberry pi 3.
☆79Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for exoberry
- Modular kernel built for simplicity☆90Updated 7 years ago
- Pedigree operating system☆89Updated 8 years ago
- K42 Kernel☆24Updated 12 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆63Updated 3 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆23Updated 4 years ago
- ☆19Updated 9 years ago
- UEFI boot loader☆78Updated 2 years ago
- A toy x86-64 kernel.☆52Updated 9 years ago
- Libelf is a simple library to read ELF files.☆47Updated 2 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 8 years ago
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- ☆15Updated 3 years ago
- Many Threads Operating System☆18Updated 2 years ago
- Tetris for x86 in bad C. Succeeded by Tetrasm.☆60Updated 9 years ago
- A simple ARM/x86(_64) static linker☆39Updated last year
- My coreboot work☆23Updated 14 years ago
- Calcium OS project for x86_64☆37Updated 7 years ago
- NOVA userland☆48Updated 10 years ago
- Basic tools for building seL4 projects☆43Updated 3 months ago
- A hobby OS written in assembly (nasm) and C. Small, realistic goals.☆55Updated 7 years ago
- Operating System☆132Updated 2 years ago
- ☆55Updated 2 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆42Updated 3 years ago
- Codezero Microkernel☆105Updated 2 years ago
- Fabrice Bellard's fbcc C Compiler☆39Updated 5 years ago
- A 64-bit SMP-safe kernel for the PC architecture.☆83Updated 6 years ago