jimix / k42Links
K42 Kernel
☆28Updated 13 years ago
Alternatives and similar repositories for k42
Users that are interested in k42 are comparing it to the libraries listed below
Sorting:
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- Many Threads Operating System☆18Updated 3 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A Machine-Independent Debugger☆34Updated 8 months ago
- sel4 benchmarking applications and support library.☆20Updated 3 weeks ago
- NOVA userland☆48Updated 11 years ago
- Freestanding libelf extracted from elfutils☆34Updated last month
- A minimal 64-bit operating system for x86-64☆9Updated last year
- Register Allocator for 8086☆75Updated last year
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- The next generation Toddler, a well designed usable and portable microkernel OS☆16Updated 4 years ago
- Peephole optimizer for cproc and QBE☆25Updated last month
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- Sled System Emulator☆28Updated last month
- posix compatible lex utility which compiles to ~60KB☆23Updated 2 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆54Updated 2 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- Sparc emulator☆10Updated 7 years ago
- Mach4 archived source.☆19Updated last year
- The core components of the L4Re operating system.☆88Updated last week
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- ☆30Updated 3 years ago
- Basic tools for building seL4 projects☆48Updated 2 weeks ago
- Advanced Operating Systems project☆20Updated 9 months ago
- My tinycc fork: hopefully, better OSX support, EFI targets, and ???☆34Updated 7 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- LLVM backend for m88k architecture☆50Updated 4 months ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago