remysaissy / examour-exokernel
Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
☆22Updated 9 years ago
Alternatives and similar repositories for examour-exokernel:
Users that are interested in examour-exokernel are comparing it to the libraries listed below
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆23Updated 5 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆22Updated 5 years ago
- Mach4 archived source.☆18Updated 11 months ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆32Updated this week
- K42 Kernel☆27Updated 12 years ago
- Small LISP-1 OS for x86-64 written in C, asm and Common Lisp☆11Updated 7 years ago
- Collection of community-maintained components for Genode☆46Updated this week
- Fully verifiable operating system and API written in D in the public domain.☆40Updated 13 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- Utility for accessing a disk formatted with BMFS☆53Updated this week
- A Machine-Independent Debugger☆31Updated 7 months ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- KnightOS C compiler☆24Updated 4 years ago
- Native B compiler for the Ti89☆12Updated 6 years ago
- SMP implementation in GNU Mach☆26Updated last year
- Metta OS☆69Updated 5 months ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Updated 9 years ago
- Pedigree operating system☆90Updated 8 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 5 years ago
- Gandr is a cross-platform bootloader project, intended to fill in the gap of a utopic bootloader.☆19Updated 9 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- Making Mes.c M2-Planet friendly☆30Updated 2 years ago
- A concurrent-focused message-based operating system.☆93Updated last week
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- Brainfuck compiler and interpreter☆17Updated last year
- The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.☆15Updated 12 years ago
- ANSI POSIX Environment neXt for Harvey OS☆32Updated 5 years ago