m-labs / mtk
The Milkymist GUI toolkit (Genode FX based), because X11 sucks!
☆13Updated 13 years ago
Alternatives and similar repositories for mtk:
Users that are interested in mtk are comparing it to the libraries listed below
- ☆40Updated 13 years ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Updated 7 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 5 years ago
- NOVA userland☆48Updated 11 years ago
- A security-oriented microkernel for Cortex-M microcontrollers☆25Updated 8 years ago
- Code which loads custom ISA on Intel Haswell GPUs☆47Updated 8 years ago
- Barebones Raspberry Pi programming in C☆14Updated 5 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- Port of the Yocto Project to the RISC-V ISA☆62Updated 6 years ago
- Portable C Compiler (CVS mirror)☆12Updated 12 years ago
- A place to store the code for FPGA tutorial projects I have written for the Parallella [http://parallellagram.org]☆11Updated 10 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- UEFI, on Loongson.☆14Updated 8 years ago
- CCS in C++☆25Updated last year
- Metta OS☆69Updated 4 months ago
- Official U-Boot package for Parallella☆41Updated 9 years ago
- Video Effects on VGA☆14Updated 6 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆53Updated 3 years ago
- A Little Template Code Generator for C++☆12Updated 4 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆77Updated 2 years ago
- 64-bit MISC Architecture CPU☆12Updated 8 years ago
- ☆25Updated 10 years ago
- C-code generator for docopt language based on Yacc & Lex☆10Updated 3 years ago
- The little simulator that could.☆22Updated 7 years ago
- The CO-PRocessing THReads (COPRTHR) SDK - latest release is v1.6.2 (Freewill)☆94Updated 8 years ago
- Toy RISC-V emulator☆15Updated 7 years ago
- Moxie-compatible core repository☆46Updated last year
- Non-unix, custom-API hybrid OS kernel written in C++ which can be thought of as an emulated microkernel. The native API is almost fully a…☆17Updated last week