slavaim / riscv-magentaLinks
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
Sorting:
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Moxie-compatible core repository☆46Updated last year
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆24Updated 4 years ago
- Collection of community-maintained components for Genode☆47Updated 3 weeks ago
- Reference manual for the Genode OS Framework☆24Updated last week
- Betrusted embedded controller (UP5K)☆45Updated last year
- LK embedded kernel☆25Updated 4 months ago
- Website for stories around the Genode operating system☆17Updated last week
- Solaris/PPC☆21Updated 10 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated last year
- Wayland☆26Updated 12 years ago
- Kakao Linux☆36Updated 3 weeks ago
- NetBSD userland tools☆9Updated 5 years ago
- ☆18Updated last month
- Assemble 128-bit RISC-V☆45Updated last year
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆23Updated 3 weeks ago
- A port of Gentoo to RISC-V☆20Updated 7 years ago
- FreeBSD src tree☆18Updated 4 years ago
- mirror of https://review.coreboot.org/libgfxinit.git☆24Updated 10 months ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 8 years ago
- Sparc emulator☆10Updated 7 years ago
- Firmware for the Jamine OpenSSD platform☆50Updated 3 years ago
- ☆28Updated 2 years ago
- Musl-nscd is an implementation of the NSCD protocol, suitable for use with musl and with standard NSS modules☆50Updated 3 years ago
- Mirror of git.qemu.org/openbios.git☆23Updated 9 months ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- siblynx's uinit -- smallest init possible☆22Updated 8 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated last week
- The Octopus operating system☆29Updated 4 years ago
- Advanced Operating Systems project☆20Updated 9 months ago