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☆14Updated 5 years ago
- K42 Kernel☆24Updated 12 years ago
- x386 OS developed in Forth☆55Updated 14 years ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆39Updated 9 years ago
- Collection of community-maintained components for Genode☆45Updated this week
- A revival of the TREE-META compiler-compiler.☆12Updated 6 years ago
- The sources to compile Ravenports buildsheets☆16Updated this week
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- Small LISP-1 OS for x86-64 written in C, asm and Common Lisp☆9Updated 6 years ago
- KnightOS C compiler☆24Updated 3 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- colorForth computing environment for amd64 and PowerPC Macs.☆22Updated 4 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- PilOS - A Stand-Alone Operating System☆12Updated 7 years ago
- SMP implementation in GNU Mach☆25Updated 7 months ago
- Common source code repository for emulators of the Burroughs B5500 computer system.☆23Updated last year
- Forth metacompiler written in Lisp, for bootstrapping☆43Updated 3 years ago
- The Kent Retargetable occam Compiler☆44Updated 2 years ago
- RISC-V emulator☆10Updated 8 years ago
- Portable C Compiler☆12Updated 12 years ago
- MIT CADR original verilog and simulator☆16Updated 8 years ago
- A modern BLISS compiler, based on LLVM and exposing some of its useful items.☆13Updated 5 years ago
- FreeVMS (0.3.17 release continued), the only working one☆34Updated last year
- Mach4 archived source.☆16Updated 5 months ago
- BLISS-M compiler☆40Updated 2 months ago
- SECD microprocessor reimplementation in VHDL☆33Updated 5 years ago
- V2_OS - The V2_ Operating System. 100% 32 bit assembly code☆31Updated 11 years ago
- A just-in-time-compiling forth system using libfirm.☆56Updated 7 years ago