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
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆24Updated 4 years ago
- NetBSD userland tools☆9Updated 5 years ago
- FreeBSD Ports Collection + DeltaPorts = DragonFly Ports (a.k.a. DPorts)☆30Updated last week
- PowerPC FSI Debugger☆18Updated last month
- Solaris/PPC☆21Updated 11 years ago
- Website for stories around the Genode operating system☆17Updated last month
- A port of Gentoo to RISC-V☆20Updated 7 years ago
- siblynx's uinit -- smallest init possible☆21Updated 8 years ago
- LK embedded kernel☆26Updated 5 months ago
- Collection of community-maintained components for Genode☆47Updated this week
- The Akaros operating system☆41Updated 4 years ago
- FreeBSD src tree☆18Updated 4 years ago
- mirror of https://review.coreboot.org/libgfxinit.git☆25Updated 11 months ago
- Software, tools, documentation for Vegaboard platform☆65Updated 5 years ago
- busybear-linux is a tiny RISC-V Linux root filesystem image that targets the VirtIO board in riscv-qemu.☆98Updated last year
- rv6 is a kernel & operating system written entirely in rust.☆11Updated 5 years ago
- A standalone library to implement GNU libc's obstack☆22Updated last year
- Betrusted embedded controller (UP5K)☆46Updated last year
- A Monolinux distro for Raspberry Pi 3!☆15Updated 5 years ago
- Ported software for HelenOS.☆21Updated last year
- A set of utilities to process FCODE, OpenFirmware's byte code☆33Updated 3 weeks ago
- Allwinner SoC support for the Genode OS framework☆16Updated this week
- Scripts to bootstrap a build environment for LightCube OS using musl libc☆19Updated 10 years ago
- minimalistic commandline hexadecimal editor similar to radare☆84Updated 4 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
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆40Updated 2 weeks ago
- Moxie-compatible core repository☆47Updated last year
- System initialization firmware for Power systems☆77Updated this week
- Punchboot☆90Updated this week