CoderionLabs / exoberryLinks
An exokernel for the raspberry pi 3.
☆80Updated 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 7 years ago
- Many Threads Operating System☆18Updated 3 years ago
- Pedigree operating system☆90Updated 9 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- UEFI boot loader☆79Updated 2 years ago
- A Small RISC-V Virtual Machine☆80Updated 3 years ago
- Cryptoleq: A Heterogeneous Abstract Machine for Encrypted and Unencrypted Computation.☆30Updated 9 months ago
- Acess2 Hobby Operating System☆86Updated last year
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- NOVA userland☆48Updated 11 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- cmips☆56Updated 10 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Updated 4 years ago
- ☆16Updated 4 years ago
- Basic tools for building seL4 projects☆48Updated this week
- ☆59Updated this week
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆68Updated 3 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆22Updated 10 years ago
- Working draft of nextgen malloc implementation for musl libc☆119Updated 4 years ago
- Personal branch of git://c9x.me/qbe.git☆36Updated 3 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 5 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 10 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆44Updated 4 years ago
- ☆40Updated 9 years ago
- scc - simple C Compiler☆57Updated 8 years ago
- A little just-in-time compiler thing☆18Updated 6 years ago
- just a toy operating system for fun☆19Updated 10 years ago
- Operating System☆133Updated 3 years ago