slavaim / riscv-magentaLinks
Magenta kernel port to RISC-V
☆16Updated 8 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:
- LK embedded kernel☆26Updated 8 months ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆25Updated 4 years ago
- Apache NuttX RTOS for PinePhone☆100Updated last week
- Collection of community-maintained components for Genode☆47Updated this week
- Solaris/PPC☆21Updated 11 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- SMP implementation in GNU Mach☆27Updated last year
- RTOS based on L4 microkernel.☆18Updated 7 years ago
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆141Updated last month
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆126Updated 5 months ago
- Software, tools, documentation for Vegaboard platform☆64Updated 5 years ago
- view based o.s.☆44Updated last week
- myLinux is an embedded operating system based on Buildroot and Finit☆86Updated last year
- The Akaros operating system☆41Updated 5 years ago
- http://www.memtest.org☆56Updated 9 years ago
- Buildroot overlay for Open Power☆109Updated last week
- Embedded Base Boot Requirements Specification☆122Updated last month
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Updated 4 months ago
- ☆88Updated 8 years ago
- ☆48Updated 11 months ago
- ☆95Updated 2 months ago
- Moxie-compatible core repository☆47Updated 2 months ago
- Sparc emulator☆11Updated 7 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 2 years ago
- musl libc for RISC-V☆84Updated 6 years ago
- Kakao Linux☆38Updated 4 months ago
- Painless Network-Transparent Network Boot with 9P☆63Updated last year
- J-Core J2/J32 5 stage pipeline CPU core☆54Updated 4 years ago
- GCC port for OpenRISC 1000☆25Updated 6 months ago
- Kitten Lightweight Kernel☆55Updated 2 years ago