oriansj / mescc-toolsLinks
Bootstrapping tools for Janneke's MES
☆36Updated last month
Alternatives and similar repositories for mescc-tools
Users that are interested in mescc-tools are comparing it to the libraries listed below
Sorting:
- The PLAtform NEutral Transpiler☆122Updated last week
- A place for public review of the posix port of stage0☆134Updated 2 months ago
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated last week
- Collection of community-maintained components for Genode☆48Updated 2 weeks ago
- The roots of trust for all architectures☆101Updated 11 months ago
- Richard's compiler bootstrap experiment☆44Updated 2 years ago
- Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script☆87Updated 4 years ago
- Website for stories around the Genode operating system☆17Updated 5 months ago
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- My minimal init of ewontfix fame☆37Updated 5 years ago
- Official mirror of the Muen Separation Kernel repository☆89Updated this week
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆92Updated 4 years ago
- Tool for streamlining the development of Genode applications☆27Updated last week
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆66Updated last year
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆28Updated 2 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆48Updated last year
- NaviServer is a scalable, multithreaded web server / multi-protocol server written in C and Tcl. It can be easily extended in either lang…☆44Updated this week
- Peephole optimizer for QBE☆31Updated 2 months ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year
- Community site for microkernel projects.☆30Updated 8 months ago
- Collection of notes for talks☆13Updated last year
- 🙈 GoboHide userspace client☆31Updated 10 months ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- quick c☆35Updated 3 years ago
- A Forth-like programming language that targets the AbleVM☆52Updated 2 years ago
- Learn how argc and argv are passed from environment to Unix program.☆19Updated 4 years ago
- view based o.s.☆44Updated 2 weeks ago
- A terminal emulator for running on bare x86 machines.☆44Updated 4 years ago