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 11 months ago
- NixOS on the HiFive Unmatched☆99Updated 2 years ago
- ☆78Updated 3 weeks ago
- The customizable embedded Linux using Nix.☆66Updated 2 years ago
- An example of how to package Coreboot in Nix☆18Updated 4 years ago
- A kexec-based bootloader☆23Updated this week
- Starting with a single ~400 KB TinyCC binary, compile a Clang 17 toolchain and Nix package manager☆51Updated last year
- Nix flake for building buildroot projects☆23Updated 5 months ago
- HDL development environment on Nix.☆26Updated 8 months ago
- ☆46Updated 3 years ago
- Develop Zephyr projects using Nix☆58Updated 2 months ago
- ☆44Updated 2 years ago
- A tool for USB device pass-through using the vfio-user protocol.☆15Updated this week
- NixOS on Xilinx Zynq and ZynqMP☆32Updated 3 weeks ago
- Opinionated NixOS modules and building infrastructure for Radxa Rock5B☆30Updated 11 months ago
- ZilchOS Core, a decidedly tiny Nix-based distro to play with☆79Updated last year
- ☆22Updated last year
- Nix Flake to make managing Single Board Computers easy and repeatable.☆40Updated this week
- ☆11Updated 7 years ago
- ☆45Updated last week
- Raspberry Pi SD card image for NixOS on BTRFS root☆46Updated last year
- ☆88Updated last year
- NixOS for the Samsung Chromebook Plus (kevin)☆30Updated 3 years ago
- Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]☆32Updated 4 months ago
- ☆12Updated 4 years ago
- Patches include sunxi platform support and various driver fixes☆82Updated 5 months ago
- ☆24Updated 11 months ago
- LK embedded kernel☆25Updated 4 months ago
- Build NixOS images for various ARM single computer boards☆93Updated 6 months ago
- A Flake for distributing PiKVM running on Embedded NixOS☆42Updated 11 months ago