mutaphore / JOS-ExokernelLinks
Implementation of the core of an exokernel-style operating system
☆10Updated 10 years ago
Alternatives and similar repositories for JOS-Exokernel
Users that are interested in JOS-Exokernel are comparing it to the libraries listed below
Sorting:
- A Machine-Independent Debugger☆34Updated 8 months ago
- SubC Compiler : By Nils M Holm, 2011--2012☆16Updated 12 years ago
- scc - simple C Compiler☆58Updated 8 years ago
- a simple Forth system for x64 Linux☆33Updated 13 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated this week
- K42 Kernel☆28Updated 13 years ago
- Few people use Forth. But this might be useful if you want to!☆34Updated 6 years ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆40Updated 9 years ago
- Portable high-level assembler with authentic C syntax☆24Updated 2 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- A just-in-time-compiling forth system using libfirm.☆57Updated 8 years ago
- Minimal LISP Compiler for x86_64☆12Updated 3 years ago
- A simple ARM/x86(_64) static linker☆42Updated 2 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- Mirror of PCC project's CVS repositories☆43Updated 11 months ago
- Self-hosting C toolchain, from scratch☆35Updated 4 months ago
- B language compiler☆32Updated 2 months ago
- The next generation Toddler, a well designed usable and portable microkernel OS☆16Updated 4 years ago
- Register Allocator for 8086☆75Updated last year
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- quick c☆35Updated 3 years ago
- A Tree Parser Generator☆98Updated 8 months ago
- Portable C Compiler☆12Updated 12 years ago
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- Native inlining constant folding register allocating Forth compiler☆19Updated 9 years ago
- Highly portable C compiler suite for Plan 9 from Bell Labs.☆33Updated 8 years ago
- mirror of tinyscheme interpreter and extensions☆14Updated 13 years ago