agreenbhm / linux
Linux kernel source tree
☆8Updated 7 months ago
Alternatives and similar repositories for linux:
Users that are interested in linux are comparing it to the libraries listed below
- riscv-linux musl gcc toolchain bootstrap scripts☆17Updated 4 years ago
- ☆29Updated 3 years ago
- Apache NuttX RTOS for Pine64 Ox64 64-bit RISC-V SBC (BouffaloLab BL808)☆40Updated this week
- ☆35Updated 2 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Bare-metal Rust explorations of the Allwinner D1☆15Updated 2 years ago
- ☆20Updated last year
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆47Updated this week
- Hardware information☆34Updated 6 months ago
- TCC (Tiny C Compiler) for 64-bit RISC-V, compiled to WebAssembly with Zig Compiler☆42Updated last year
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Updated 3 years ago
- Port of the xv6 OS to the VisionFive 2 RISC V board☆18Updated 2 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆31Updated this week
- ☆46Updated this week
- ☆17Updated 2 years ago
- Code for the "fake BIOS" RISC-V example☆25Updated last year
- Kakao Linux☆34Updated last month
- Iron: selectively turn RISC-V binaries into hardware☆23Updated last year
- Unofficial Yosys WebAssembly packages☆70Updated this week
- Out-of-tree version of Linux' kconfig tool☆17Updated 10 months ago
- [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…☆12Updated 2 years ago
- FreeBSD on StarFive VisionFive 2☆33Updated last year
- This crate contains the BIOS API and common routines for all Neotron systems.☆11Updated last year
- Hardware design for the computer formerly known as The Monotron☆18Updated 4 years ago
- Betrusted embedded controller (UP5K)☆45Updated last year
- LK embedded kernel☆24Updated 3 months ago
- RISC-V RV64IMAFDC(RV64GC) Emulator☆16Updated 2 years ago
- Software bootloader for boards running Tock.☆25Updated last year
- ISA card expansion for LPC and Glasgow☆10Updated 5 years ago
- Chimera service package for dinit☆22Updated 3 weeks ago