slavaim / riscv-magenta
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
- Collection of community-maintained components for Genode☆46Updated this week
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- musl libc for RISC-V☆82Updated 5 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated 11 months ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 4 years ago
- A port of Gentoo to RISC-V☆20Updated 6 years ago
- FreeBSD src tree☆18Updated 4 years ago
- FreeBSD src tree (read-only mirror)☆12Updated 6 years ago
- Website for stories around the Genode operating system☆17Updated last month
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 8 years ago
- A standalone library to implement GNU libc's obstack☆22Updated last year
- ☆18Updated this week
- Port of the Yocto Project to the RISC-V ISA☆62Updated 6 years ago
- ☆27Updated last month
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago
- RISC-V port of GNU's libc☆70Updated 4 years ago
- ☆48Updated 4 months ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- Assemble 128-bit RISC-V☆45Updated last year
- ANSI POSIX Environment neXt for Harvey OS☆32Updated 5 years ago
- ☆20Updated last year
- myLinux is an embedded operating system based on Buildroot and Finit☆83Updated 9 months ago
- tiny aarch64 baremetal OS thingy☆50Updated 6 years ago
- LK embedded kernel☆24Updated 2 months ago
- NetBSD userland tools☆9Updated 4 years ago
- Sparc emulator☆10Updated 6 years ago
- RISC-V Specific Device Tree Documentation☆42Updated 8 months ago
- Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …☆22Updated last week
- Software, tools, documentation for Vegaboard platform☆64Updated 5 years ago
- view based o.s.☆39Updated this week