mhsys / mh
MH: a microkernel for fun and experimenting!
☆30Updated 6 years ago
Alternatives and similar repositories for mh:
Users that are interested in mh are comparing it to the libraries listed below
- Non-preemptive Thread Hierarchy Manager☆55Updated 3 months ago
- Prepared statement support for the system command☆29Updated 4 years ago
- Portable, efficient, safe execution of untrusted x86 code☆120Updated 2 years ago
- [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs…☆75Updated 3 years ago
- fundamental tools in the spirit of C☆59Updated 5 years ago
- Unix architecture evolution diagrams☆82Updated 6 years ago
- Bootstrap compiler☆44Updated 5 years ago
- A simple, self hosted, low level programming language.☆79Updated last month
- Freestanding OCaml runtime☆103Updated 2 months ago
- Richard's compiler bootstrap experiment☆45Updated last year
- libtls tutorial, exercises, test CA and exercise solutions☆159Updated last year
- A digital logic simulation written in C☆63Updated 4 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆85Updated 6 years ago
- exokernel style operating system based on lightweight virtual machines☆25Updated 8 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 3 months ago
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- Test self-modifying code behaviour on processors for single-use JIT functions☆51Updated 4 years ago
- Schrödinger's Tcl☆30Updated 9 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆77Updated 2 years ago
- Studio is an interactive software diagnostics environment☆120Updated 4 years ago
- 🔄 Flexible C memory allocation scheme☆77Updated 3 weeks ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- A collection of popular design patterns implemented in TCL language with TclOO package☆49Updated 6 years ago
- Type-safe Printf in C☆71Updated last month
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆37Updated 12 years ago
- Preemptive multithreading for AVR microcontrollers.☆38Updated 4 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated 9 months ago
- HermitCore: A C-based, lightweight unikernel☆224Updated 3 years ago
- Minimalistic Operating System for Xen☆65Updated 2 years ago
- quick c☆35Updated 2 years ago