slavaim / riscv-magenta
Magenta kernel port to RISC-V
☆15Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for riscv-magenta
- Collection of community-maintained components for Genode☆45Updated this week
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- RISC-V port of GNU's libc☆70Updated 3 years ago
- A linker script generator for SiFive's Freedom platform☆32Updated 3 years ago
- Betrusted embedded controller (UP5K)☆45Updated 11 months ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 3 years ago
- A port of Gentoo to RISC-V☆20Updated 6 years ago
- musl libc for RISC-V☆81Updated 5 years ago
- RISC-V Specific Device Tree Documentation☆41Updated 4 months ago
- ☆60Updated 3 years ago
- LK embedded kernel☆24Updated 3 weeks ago
- RISCV Rust Toolchain☆117Updated 6 years ago
- Software bootloader for boards running Tock.☆23Updated 9 months ago
- Software, tools, documentation for Vegaboard platform☆63Updated 5 years ago
- ☆17Updated last month
- SiFive OpenEmbedded / Yocto BSP Layer☆50Updated last week
- Moxie-compatible core repository☆45Updated 10 months ago
- ☆24Updated 2 years ago
- Component Architecture test suite and example apps.☆27Updated 4 months ago
- Advanced Operating Systems project☆19Updated 2 months ago
- Virtual machine monitor for L4Re☆28Updated this week
- ☆25Updated 4 months ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆26Updated 4 months ago
- Mirror of git.qemu.org/sgabios.git☆17Updated 2 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- NetBSD userland tools☆9Updated 4 years ago
- FreeBSD src tree☆18Updated 4 years ago
- sel4 benchmarking applications and support library.☆18Updated 4 months ago
- ☆81Updated 3 years ago
- mirror of https://review.coreboot.org/libgfxinit.git☆22Updated 3 months ago