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
- Utility for accessing a disk formatted with BMFS☆53Updated 2 months ago
- Metta OS☆70Updated 9 months ago
- A Tree Parser Generator☆99Updated 10 months ago
- Collection of community-maintained components for Genode☆47Updated last week
- Parser of C-syntax data definitions, C-syntax function definitions☆19Updated 13 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Real-time multiprocessor microkernel☆39Updated 5 years 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
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 6 years ago
- Implementation of the core of an exokernel-style operating system☆10Updated 10 years ago
- quick c☆35Updated 3 years ago
- Minimal LISP Compiler for x86_64☆13Updated 3 years ago
- K42 Kernel☆29Updated 13 years ago
- A guide to hobbyist operating systems☆60Updated 6 years ago
- Embeddable Forth inspired scripting language☆36Updated 6 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 9 years ago
- scc - simple C Compiler☆59Updated 8 years ago
- A z80 calculator emulator (and debugger)☆72Updated 3 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- Multi-architecture hobby operating system created in C☆16Updated 3 months ago
- Fully verifiable operating system and API written in D in the public domain.☆41Updated 14 years ago
- A very small lisp interpreter, that I may one day get working on my 8-bit AVR microcontroller.☆56Updated 8 years ago
- A Machine-Independent Debugger☆34Updated 10 months ago
- SMP implementation in GNU Mach☆26Updated last year
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Virtual Machine and Assembler for Notch's DCPU-16 Architecture☆222Updated 13 years ago
- Dolphin Smalltalk virtual machine☆107Updated 6 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆23Updated 5 years ago