remysaissy / examour-exokernel
Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
☆22Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for examour-exokernel
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆15Updated 5 years ago
- A revival of the TREE-META compiler-compiler.☆12Updated 6 years ago
- KnightOS C compiler☆23Updated 3 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Fully verifiable operating system and API written in D in the public domain.☆39Updated 13 years ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- Collection of community-maintained components for Genode☆45Updated this week
- A modern BLISS compiler, based on LLVM and exposing some of its useful items.☆13Updated 5 years ago
- RISC-V emulator☆10Updated 8 years ago
- A Machine-Independent Debugger☆26Updated last month
- A Simple Forth System for Linux on i386 and ARM CPUs☆39Updated 8 years ago
- BLISS-M compiler☆38Updated last month
- K42 Kernel☆24Updated 12 years ago
- Implementation of the core of an exokernel-style operating system☆10Updated 9 years ago
- Making Mes.c M2-Planet friendly☆30Updated 2 years ago
- x386 OS developed in Forth☆55Updated 14 years ago
- SOM - Simple Object Machine☆22Updated 2 months ago
- EiC C Interpreter☆19Updated 9 years ago
- scc - simple C Compiler☆49Updated 7 years ago
- Intermediate loader for AMD64 kernels. C rewrite of HydrogenLegacy.☆27Updated 9 years ago
- ☆23Updated 10 years ago
- quick c☆34Updated 2 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆18Updated 8 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- Utility for accessing a disk formatted with BMFS☆50Updated 2 months ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆28Updated 6 months ago
- colorForth computing environment for amd64 and PowerPC Macs.☆22Updated 4 years ago
- Mach4 archived source.☆16Updated 5 months ago