oriansj / mescc-toolsLinks
Bootstrapping tools for Janneke's MES
☆35Updated 2 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:
- The PLAtform NEutral Transpiler☆120Updated last month
- Making Mes.c M2-Planet friendly☆30Updated 3 years ago
- A place for public review of the posix port of stage0☆129Updated last month
- A more standards compliant C library written in M2-Planet's C subset☆20Updated this week
- The roots of trust for all architectures☆99Updated 10 months ago
- Collection of community-maintained components for Genode☆47Updated last week
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆64Updated last year
- Richard's compiler bootstrap experiment☆46Updated 2 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 11 months ago
- Collection of notes for talks☆13Updated last year
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script☆87Updated 4 years ago
- Tool for streamlining the development of Genode applications☆25Updated this week
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Boot2Now is a series of compilers in the form of bootable machine images☆18Updated 2 years ago
- My minimal init of ewontfix fame☆37Updated 5 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- ☆20Updated 8 years ago
- quick c☆35Updated 3 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated last year
- Community site for microkernel projects.☆30Updated 6 months ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year
- A standalone library to implement GNU libc's obstack☆27Updated last year
- Website for stories around the Genode operating system☆17Updated 3 months ago
- Portable UNIX tools (personal repository)☆62Updated last year
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆27Updated 2 years ago
- A terminal emulator for running on bare x86 machines.☆44Updated 4 years ago
- An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.☆242Updated 4 months ago