chuangzhu / nixos-sun20iw1p1Links
NixOS on Allwinner D1 RISC-V
☆39Updated 2 years ago
Alternatives and similar repositories for nixos-sun20iw1p1
Users that are interested in nixos-sun20iw1p1 are comparing it to the libraries listed below
Sorting:
- NixOS Running on LicheePi 4A(RISC-V)☆42Updated 10 months ago
- ☆23Updated 3 years ago
- NixOS on the HiFive Unmatched☆100Updated 2 years ago
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- ☆45Updated 3 years ago
- ☆76Updated last week
- Starting with a single ~400 KB TinyCC binary, compile a Clang 17 toolchain and Nix package manager☆50Updated last year
- An example of how to package Coreboot in Nix☆18Updated 4 years ago
- A kexec-based bootloader☆22Updated last week
- HDL development environment on Nix.☆25Updated 7 months ago
- ZilchOS Core, a decidedly tiny Nix-based distro to play with☆78Updated last year
- ☆44Updated 2 years ago
- NixOS on Xilinx Zynq and ZynqMP☆31Updated this week
- Patches include sunxi platform support and various driver fixes☆82Updated 4 months ago
- ☆45Updated last week
- Nix Flake to make managing Single Board Computers easy and repeatable.☆39Updated this week
- Opinionated NixOS modules and building infrastructure for Radxa Rock5B☆31Updated 10 months ago
- ☆24Updated 11 months ago
- A tool for USB device pass-through using the vfio-user protocol.☆13Updated this week
- ☆88Updated last year
- ☆22Updated last year
- Nix flake for building buildroot projects☆23Updated 4 months ago
- A modern port of OpenOCD to WCH-Link RISC-V (see project wiki)☆22Updated 3 years ago
- Run an executable from RAM on a Bouffalo MCU (BL602 or BL808)☆22Updated 2 years ago
- Develop Zephyr projects using Nix☆55Updated 2 months ago
- Apache NuttX RTOS for PinePhone☆99Updated this week
- Raspberry Pi SD card image for NixOS on BTRFS root☆46Updated last year
- LK embedded kernel☆25Updated 4 months ago
- Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]☆32Updated 3 months ago
- Reverse engineering of BL602 blobs☆100Updated last year