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
- Collection of community-maintained components for Genode☆46Updated last week
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆14Updated 6 years ago
- 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
- Fully verifiable operating system and API written in D in the public domain.☆40Updated 13 years ago
- KnightOS C compiler☆24Updated 4 years ago
- Metta OS☆69Updated 4 months ago
- Utility for accessing a disk formatted with BMFS☆51Updated 2 months ago
- Small LISP-1 OS for x86-64 written in C, asm and Common Lisp☆11Updated 7 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- Tools for testing C compilers for the correct handling of volatile objects.☆26Updated 10 years ago
- x386 OS developed in Forth☆58Updated 15 years ago
- K42 Kernel☆26Updated 12 years ago
- The sources to compile Ravenports buildsheets☆18Updated last week
- A Machine-Independent Debugger☆30Updated 5 months ago
- ☆24Updated 10 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆43Updated 3 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- Real-time multiprocessor microkernel☆39Updated 5 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆22Updated 4 years ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- Prex is a portable real-time operating system for embedded systems☆27Updated 14 years ago
- SMP implementation in GNU Mach☆25Updated 11 months ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- B language compiler☆31Updated 4 years ago
- The Kent Retargetable occam Compiler☆45Updated 3 years ago
- V2_OS - The V2_ Operating System. 100% 32 bit assembly code☆30Updated 11 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆23Updated 5 years ago
- A simple Hello World for x86_64 UEFI using fasmg☆26Updated 8 years ago
- A very small lisp interpreter, that I may one day get working on my 8-bit AVR microcontroller.☆55Updated 7 years ago