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
- colorForth computing environment for amd64 and PowerPC Macs.☆22Updated 5 years ago
- Parser of C-syntax data definitions, C-syntax function definitions☆20Updated 12 years ago
- x386 OS developed in Forth☆58Updated 15 years ago
- A modern BLISS compiler, based on LLVM and exposing some of its useful items.☆14Updated 5 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- Multi-architecture hobby operating system created in C☆16Updated last week
- Implementation of the core of an exokernel-style operating system☆10Updated 10 years ago
- Portable C Compiler (CVS mirror)☆12Updated 12 years ago
- A Simple Forth System for Linux on i386 and ARM CPUs☆41Updated 9 years ago
- Raspberry PI barebones kernel.☆21Updated 12 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- a barebones bootable platform to run the frotz z-code interpreter inside a VM☆17Updated 8 years ago
- The Kent Retargetable occam Compiler☆45Updated 3 years ago
- The sources to compile Ravenports buildsheets☆18Updated this week
- K42 Kernel☆26Updated 12 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 5 years ago
- BLISS-M compiler☆40Updated 6 months ago
- B language compiler☆31Updated 4 years ago
- Collection of community-maintained components for Genode☆46Updated last week
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- Utility for accessing a disk formatted with BMFS☆52Updated 3 months ago
- A revival of the TREE-META compiler-compiler.☆15Updated 6 years ago
- Metta OS☆69Updated 4 months ago
- A Machine-Independent Debugger☆30Updated 5 months ago
- Tiny lisp, simple, and embeddable scheme-like language☆26Updated this week
- A basic microkernel☆36Updated 11 years ago
- Oberon Microsystems BlackBox Component Builder port for OpenBSD, GNU/Linux and FreeBSD☆27Updated 5 years ago
- RTOS based on L4 microkernel.☆17Updated 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