remysaissy / examour-exokernelLinks
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
Sorting:
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Utility for accessing a disk formatted with BMFS☆53Updated 2 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- Collection of community-maintained components for Genode☆47Updated this week
- Implementation of the core of an exokernel-style operating system☆10Updated 10 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- ☆28Updated 2 months ago
- Minimal LISP Compiler for x86_64☆13Updated 3 years ago
- K42 Kernel☆29Updated 13 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆40Updated 9 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 6 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆23Updated 5 years ago
- KnightOS C compiler☆25Updated 4 years ago
- a Java VM implemented in Forth☆40Updated 13 years ago
- Metta OS☆70Updated 8 months ago
- OpenFirmware as used on OLPC (and elsewhere)☆115Updated 9 years ago
- x386 OS developed in Forth☆59Updated 15 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 9 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- A Machine-Independent Debugger☆34Updated 9 months ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- BLISS-M compiler☆41Updated 10 months ago
- Multi-architecture hobby operating system created in C☆16Updated 2 months ago
- A Tree Parser Generator☆99Updated 10 months ago
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- SMP implementation in GNU Mach☆26Updated last year
- Real-time multiprocessor microkernel☆39Updated 5 years ago
- Ada Bare Bones OS development tutorial source code☆89Updated 8 years ago