oriansj / mescc-toolsLinks
Bootstrapping tools for Janneke's MES
☆36Updated 3 months ago
Alternatives and similar repositories for mescc-tools
Users that are interested in mescc-tools are comparing it to the libraries listed below
Sorting:
- A place for public review of the posix port of stage0☆136Updated 5 months ago
- The PLAtform NEutral Transpiler☆125Updated 2 months ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated last week
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- The roots of trust for all architectures☆103Updated last year
- Collection of community-maintained components for Genode☆50Updated last week
- Boot2Now is a series of compilers in the form of bootable machine images☆20Updated 2 years ago
- Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script☆87Updated 4 years ago
- Collection of notes for talks☆13Updated 2 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Richard's compiler bootstrap experiment☆44Updated 2 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆51Updated 2 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆51Updated last year
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆77Updated 3 years ago
- Website for stories around the Genode operating system (migrated to codeberg.org)☆18Updated last month
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆68Updated last year
- FUSE-based 9P client from the Plan9 Port project, standalone version☆34Updated 2 years ago
- NaviServer is a scalable, multithreaded web server / multi-protocol server written in C and Tcl. It can be easily extended in either lang…☆45Updated this week
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆95Updated 5 years ago
- My minimal init of ewontfix fame☆37Updated 5 years ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆59Updated 4 years ago
- ☆20Updated 8 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- Official mirror of the Muen Separation Kernel repository☆92Updated last week
- Learn how argc and argv are passed from environment to Unix program.☆19Updated 4 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- quick c☆35Updated 3 years ago
- Tool for streamlining the development of Genode applications☆29Updated 3 weeks ago