oriansj / mescc-toolsLinks
Bootstrapping tools for Janneke's MES
☆36Updated 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☆124Updated last month
- A place for public review of the posix port of stage0☆137Updated 4 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
- The roots of trust for all architectures☆103Updated last year
- Collection of community-maintained components for Genode☆48Updated this week
- Builder-Hex0 is a minimal build system which includes a bootloader, kernel, shell, and a hex0 compiler☆67Updated last year
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆63Updated 3 years ago
- Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script☆87Updated 4 years ago
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Collection of notes for talks☆13Updated last year
- Bootstrapping VM for bare metal to trusted C compilation☆50Updated last year
- Boot2Now is a series of compilers in the form of bootable machine images☆19Updated 2 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆94Updated 5 years ago
- Richard's compiler bootstrap experiment☆44Updated 2 years ago
- My minimal init of ewontfix fame☆37Updated 5 years ago
- Website for stories around the Genode operating system☆17Updated 3 weeks ago
- An efficient, portable and secure general-purpose virtual machine and virtual network using libable☆28Updated 2 years ago
- ☆20Updated 8 years ago
- FUSE-based 9P client from the Plan9 Port project, standalone version☆33Updated 2 years ago
- Tools to create filesystem images from an fspec filesystem specification.☆16Updated last year
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 4 years ago
- Tool for streamlining the development of Genode applications☆27Updated last week
- A community-maintained wiki documenting the musl libc.☆85Updated 2 weeks ago
- No Operating System Project, seeking Dan Ingalls' quote: 'Operating Systems should not exist'. This is the generic platform☆29Updated 7 years ago
- The sources to compile Ravenports buildsheets☆21Updated this week
- An efficient, portable and secure general-purpose virtual machine and virtual network as a library☆18Updated 2 years ago
- Peephole optimizer for QBE☆31Updated 3 months ago
- Official mirror of the Muen Separation Kernel repository☆91Updated this week