CoderionLabs / exoberry
An exokernel for the raspberry pi 3.
☆79Updated 2 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
- Calcium OS project for x86_64☆37Updated 7 years ago
- UEFI boot loader☆78Updated 2 years ago
- A Small RISC-V Virtual Machine☆72Updated 2 years ago
- L4Ka::Hazelnut micro-kernel☆32Updated 9 years ago
- ☆19Updated 9 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- Operating System☆132Updated 2 years ago
- Libelf is a simple library to read ELF files.☆48Updated 2 years ago
- ☆55Updated 2 years ago
- Many Threads Operating System☆18Updated 2 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆63Updated 3 years ago
- A small arm/x86(-64) libc☆77Updated 2 weeks ago
- bare metal programming with Raspberry Pi☆27Updated 5 years ago
- The Pedigree Operating System☆51Updated last year
- scc - simple C Compiler☆49Updated 7 years ago
- A hobby OS written in assembly (nasm) and C. Small, realistic goals.☆55Updated 7 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 8 years ago
- cmips☆57Updated 10 years ago
- Prototype no-assurance reference OS personality built on seL4☆49Updated 3 years ago
- Fabrice Bellard's fbcc C Compiler☆38Updated 5 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆31Updated 8 years ago
- Virtual Machine built as a CAmkES component.☆23Updated 4 months ago
- The core components of the L4Re operating system.☆75Updated last week
- Operating system project☆34Updated 6 months ago
- A tiny lexical analyser generator☆18Updated 12 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 9 years ago
- My experimental bare metal OS for the raspberry pi☆44Updated 10 years ago