NixOS on Allwinner D1 RISC-V
☆39Oct 21, 2022Updated 3 years ago
Alternatives and similar repositories for nixos-sun20iw1p1
Users that are interested in nixos-sun20iw1p1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Diff nix build logs with less clutter☆14Nov 7, 2024Updated last year
- GNU Guix zephyrRTOS integration☆16Apr 3, 2026Updated last month
- nixos in a gameboy shell☆16Apr 22, 2026Updated 2 weeks ago
- NixOS Running on LicheePi 4A(RISC-V)☆46Apr 28, 2026Updated last week
- ☆44Feb 17, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆41Dec 1, 2025Updated 5 months ago
- Nix Flake to make managing Single Board Computers easy and repeatable.☆56Apr 30, 2026Updated last week
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- A tool for USB device pass-through using the vfio-user protocol.☆35Updated this week
- NWI Engineering's use of Nix☆12Apr 17, 2023Updated 3 years ago
- A kexec-based bootloader☆28Apr 8, 2026Updated last month
- SATA sniffing☆15Jul 28, 2022Updated 3 years ago
- ☆13Dec 27, 2022Updated 3 years ago
- Nix build Scheduler☆11Nov 24, 2025Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Nix source☆14Nov 21, 2020Updated 5 years ago
- ☆17Sep 29, 2019Updated 6 years ago
- Example baremetal programs for some allwinner boards.☆13Feb 22, 2019Updated 7 years ago
- RISC-V instruction set CPUs in HardCaml☆15Sep 20, 2016Updated 9 years ago
- NixOS on the HiFive Unmatched☆101Apr 9, 2023Updated 3 years ago
- Send nixpkgs tarballs to Software Heritage [maintainer=@nlewo]☆37Oct 19, 2025Updated 6 months ago
- small linux bootloader for Allwinner T113-S3 and V851s☆103Nov 21, 2025Updated 5 months ago
- Bare metal programming on the EBAZ4205 board with Zynq XC7Z010 SoC☆23Dec 10, 2024Updated last year
- My experimental NixOS configuration for VisionFive 2☆14Feb 17, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [FORK] Init-Freedom on NixOS using S6☆21Nov 26, 2022Updated 3 years ago
- Patches include sunxi platform support and various driver fixes☆44Nov 17, 2025Updated 5 months ago
- Bit streams forthe Ulx3s ECP5 device☆18Apr 9, 2023Updated 3 years ago
- The customizable embedded Linux using Nix.☆70Dec 29, 2022Updated 3 years ago
- ☆27Jan 16, 2022Updated 4 years ago
- linux kernel overlay☆11Updated this week
- Build NixOS images for various ARM single computer boards☆104Dec 13, 2024Updated last year
- Nerves system for the MangoPi MQ Pro☆23May 3, 2026Updated last week
- ☆13Aug 16, 2020Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Freertos on barebone allwinner T113 mcu☆17May 12, 2024Updated last year
- Generate animated vector graphics for old-school 90's demos, like ST_NICCC☆18Jan 2, 2024Updated 2 years ago
- An implementation of the Bottom encoding format in Nix☆27Nov 21, 2025Updated 5 months ago
- Allwinner bootloader for A31/A20 (old)☆29Nov 14, 2014Updated 11 years ago
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆108Nov 26, 2022Updated 3 years ago
- Nix CycloneDX Software Bills of Materials (SBOMs)☆141May 2, 2026Updated last week
- Beepberry instantpi buildroot with drivers☆51Jul 23, 2025Updated 9 months ago