Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
☆22Dec 2, 2015Updated 10 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:
- Implementation of the core of an exokernel-style operating system☆11Dec 6, 2014Updated 11 years ago
- PonyTown Client For Windows☆12Sep 19, 2016Updated 9 years ago
- Multiboot PE☆15Dec 13, 2018Updated 7 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 7 years ago
- FX2 EZ USB eeprom reader/writer for libusb☆30Feb 16, 2023Updated 3 years ago
- An exokernel for the raspberry pi 3.☆82Nov 17, 2021Updated 4 years ago
- c++ template library for cortex-m0+ (lpc8xx), cortex-m0 ( lpc1114 ), cortex-m3 (bluepill), and msp430 ( small msp430 )☆31Sep 1, 2017Updated 8 years ago
- Monitoring and record(save) of data for Arduino and STM32☆27Feb 20, 2026Updated 2 weeks ago
- eDemocracy Tool☆11Apr 14, 2018Updated 7 years ago
- Windows Kernel Driver library for Rust developers☆36Jan 23, 2021Updated 5 years ago
- Embeddable Forth inspired scripting language☆37Jan 8, 2019Updated 7 years ago
- Exokernel is one of the major sources for container and library OS techniques.☆44Apr 5, 2022Updated 3 years ago
- Bootstrapping tools for Janneke's MES☆36Oct 9, 2025Updated 4 months ago
- The dev version of jaffle shop☆12Oct 28, 2024Updated last year
- Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code☆49Mar 19, 2014Updated 11 years ago
- A malware sandoxed with gdb☆15Jun 27, 2016Updated 9 years ago
- Python client for geoboundaries API☆10Sep 19, 2025Updated 5 months ago
- safe, no-cost and easy-to-use Cpp header to work safely with HW registers☆14Sep 15, 2024Updated last year
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- libopencm3 c++ wrappers☆10Dec 25, 2020Updated 5 years ago
- Oberon → ARMv{6,7E}-M compiler☆36Oct 12, 2025Updated 4 months ago
- Shared libraries between OX applications.☆14Oct 14, 2024Updated last year
- Semiconductor diode laser current driver☆10Nov 14, 2022Updated 3 years ago
- Vessel Viewer plugin for KSP☆16Apr 29, 2016Updated 9 years ago
- x386 OS developed in Forth☆60Jan 13, 2010Updated 16 years ago
- Basic tools for building seL4 projects☆53Updated this week
- CASE and metaCASE system☆68Dec 26, 2020Updated 5 years ago
- Set of scripts to index PCAP files and retrieve packets☆14Sep 10, 2015Updated 10 years ago
- Various Malware-Related Utilities☆10Aug 4, 2016Updated 9 years ago
- ಠ_ಠ The most disapproving coding language on the Internet.☆10Nov 4, 2015Updated 10 years ago
- FeRTOS is a simple "operating system" that currently supports ARM Cortex-M CPUs☆13Jul 9, 2022Updated 3 years ago
- Common Lisp library for creative coding.☆13Aug 7, 2013Updated 12 years ago
- "Library" (no .a) for implementing the FlashRom SERprog protocol☆12Feb 28, 2023Updated 3 years ago
- OpenAMP fork of the kvmtool Project. For experimental work and upstream staging.☆10Apr 4, 2024Updated last year
- User Port Cartridge for the Commodore 16, 116 and Plus/4☆11Feb 13, 2026Updated 3 weeks ago
- A Plate of Rails Templates☆10Mar 26, 2024Updated last year
- Type definitions for the SWF file format (Rust and Typescript)☆12May 10, 2022Updated 3 years ago
- Vim style editor written in Racket☆14May 31, 2020Updated 5 years ago
- ☆15Jul 12, 2025Updated 7 months ago