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:
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆26Updated 5 years ago
- LK embedded kernel☆26Updated 10 months ago
- RTOS based on L4 microkernel.☆18Updated 7 years ago
- Apache NuttX RTOS for PinePhone☆101Updated this week
- Collection of community-maintained components for Genode☆48Updated last week
- SMP implementation in GNU Mach☆28Updated last year
- Software, tools, documentation for Vegaboard platform☆64Updated 6 years ago
- Betrusted embedded controller (UP5K)☆48Updated last year
- ☆49Updated last month
- http://www.memtest.org☆56Updated 9 years ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆127Updated 7 months ago
- ☆19Updated 2 months ago
- riscv-linux musl gcc toolchain bootstrap scripts☆18Updated 4 years ago
- busybear-linux is a tiny RISC-V Linux root filesystem image that targets the VirtIO board in riscv-qemu.☆98Updated last year
- myLinux is an embedded operating system based on Buildroot and Finit☆87Updated last year
- RISC-V port of GNU's libc☆71Updated 4 years ago
- ☆48Updated last month
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆142Updated 2 months ago
- FreeBSD src tree☆18Updated 5 years ago
- Scripts to build basic images for LX2160A COM express type 7 modules☆63Updated 2 weeks ago
- Solaris/PPC☆21Updated 11 years ago
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆142Updated 4 years ago
- Allwinner SoC support for the Genode OS framework☆16Updated this week
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated 2 weeks ago
- Hardware information☆37Updated last year
- Moxie-compatible core repository☆47Updated 4 months ago
- [MIRROR] Tool to create initramfs images☆59Updated 2 weeks ago
- Website for stories around the Genode operating system☆17Updated 3 weeks ago
- Simplest possible code to demonstrate RPi 3 running AArch64 code☆41Updated 9 years ago
- Punchboot☆92Updated last week