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:
- K42 Kernel☆27Updated 13 years ago
- DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated 3 weeks ago
- Highly portable C compiler suite for Plan 9 from Bell Labs.☆32Updated 8 years ago
- Register Allocator for 8086☆75Updated last year
- scc - simple C Compiler☆58Updated 8 years ago
- Self-hosting C toolchain, from scratch☆36Updated 3 months ago
- B language compiler☆33Updated last month
- a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64☆21Updated last year
- A Machine-Independent Debugger☆34Updated 8 months ago
- Software and documentation, mostly from the 80s and 90s☆23Updated 10 years ago
- Fully open source PathScale successor to Open64. Path64 is the community support version of PathScale compiler meant to encourage collabo…☆23Updated 15 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A small self-compiling arm/x86-64 C compiler, linker, C library and ELF loader for command line or library use on macOS, Linux or bare me…☆27Updated last year
- Minimal LISP Compiler for x86_64☆12Updated 3 years ago
- A project to recreate the B compiler for the PDP-11 as authentically as possible☆33Updated 6 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- ☆22Updated 7 months ago
- A simple UNIX-like operating system☆44Updated 9 years ago
- Forth programming language eforth for x86 PC 64 bits long mode STC☆29Updated 2 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Updated 9 years ago
- mirror of tinyscheme interpreter and extensions☆14Updated 13 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- Native inlining constant folding register allocating Forth compiler☆19Updated 9 years ago
- Sparc emulator☆10Updated 7 years ago
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆28Updated 3 years ago
- dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends☆53Updated 5 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- Simple C compiler for x86-64 Linux able to build real-world projects including Curl, GCC, Git, PHP, Perl, Python, PostgreSQL etc☆37Updated this week
- The next generation Toddler, a well designed usable and portable microkernel OS☆16Updated 4 years ago