slavaim / riscv-magenta
Magenta kernel port to RISC-V
☆16Updated 7 years ago
Alternatives and similar repositories for riscv-magenta:
Users that are interested in riscv-magenta are comparing it to the libraries listed below
- Betrusted embedded controller (UP5K)☆45Updated last year
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 4 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- LK embedded kernel☆24Updated 2 months ago
- Collection of community-maintained components for Genode☆46Updated 2 weeks ago
- Sparc emulator☆10Updated 6 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated last week
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated last week
- Assemble 128-bit RISC-V☆45Updated last year
- Website for stories around the Genode operating system☆17Updated 2 months ago
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago
- ☆61Updated 3 years ago
- ☆18Updated 3 weeks ago
- Hardware information☆34Updated 5 months ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated 11 months ago
- NetBSD userland tools☆9Updated 5 years ago
- Tool for streamlining the development of Genode applications☆22Updated last week
- A Highly Portable Operating System☆12Updated 4 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Updated 5 years ago
- ☆46Updated 3 weeks ago
- SMP implementation in GNU Mach☆26Updated last year
- The Octopus operating system☆28Updated 4 years ago
- musl libc for RISC-V☆83Updated 5 years ago
- Firmware for the Jamine OpenSSD platform☆48Updated 2 years ago
- ☆27Updated last month
- siblynx's uinit -- smallest init possible☆22Updated 7 years ago
- An implementation of the hammer2 filesystem for Plan 9☆19Updated 6 years ago
- FreeBSD src tree☆18Updated 4 years ago
- ANSI POSIX Environment neXt for Harvey OS☆32Updated 5 years ago
- Ported software for HelenOS.☆21Updated last year