NixOS on Allwinner D1 RISC-V
☆39Oct 21, 2022Updated 4 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:
- ☆12Feb 8, 2023Updated 3 years ago
- ☆44Feb 17, 2023Updated 3 years ago
- nixos in a gameboy shell☆16Jun 22, 2026Updated 4 months ago
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- NixOS Running on LicheePi 4A(RISC-V)☆47Jun 13, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Make your Nix builds go brr☆18Jun 5, 2026Updated 5 months ago
- NixOS modules to use Intel SR-IOV graphics acceleration☆12Sep 3, 2024Updated 2 years ago
- NWI Engineering's use of Nix☆12Apr 17, 2023Updated 3 years ago
- The customizable embedded Linux using Nix.☆71Dec 29, 2022Updated 3 years ago
- DDR3 frame buffer in Verilog, for Gowin FPGA☆13Sep 1, 2025Updated last year
- Nix Flake to make managing Single Board Computers easy and repeatable.☆61Apr 30, 2026Updated 6 months ago
- Nix build Scheduler☆11Nov 24, 2025Updated 11 months ago
- Debian disk image builder for the Sipeed Lichee RV Risc-v Single Board Computer☆63Nov 17, 2023Updated 2 years ago
- Bit streams forthe Ulx3s ECP5 device☆19Apr 9, 2023Updated 3 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.
- ☆10Jul 8, 2023Updated 3 years ago
- An SSH implemenation in pure Haskell☆18Feb 14, 2022Updated 4 years ago
- A kexec-based bootloader☆29Oct 12, 2026Updated 3 weeks ago
- Patches include sunxi platform support and various driver fixes☆45Nov 17, 2025Updated 11 months ago
- A read-only Flattened Device Tree (DTB) API.☆11Jun 24, 2026Updated 4 months ago
- ☆17Sep 29, 2019Updated 7 years ago
- FPGA implementation of the AnotherWorld CPU (equivalent to the original VM)☆17Apr 6, 2020Updated 6 years ago
- NixCon 2025 Website☆14Sep 17, 2025Updated last year
- Build NixOS images for various ARM single computer boards☆103Dec 13, 2024Updated last year
- 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.
- The demo projects for Allwinner D1 SBC☆24Sep 7, 2021Updated 5 years ago
- A script to generate SPDX-format SBOM files for a kernel build.☆15Oct 11, 2026Updated 3 weeks ago
- Nerves system for the MangoPi MQ Pro☆24Oct 22, 2026Updated 2 weeks ago
- C8051F Mcu example source☆12Nov 18, 2017Updated 8 years ago
- A demonstration for making USB drivers for 9Front, using the rtl sdr code as an example.☆10Jul 5, 2022Updated 4 years ago
- small linux bootloader for Allwinner T113-S3 and V851s☆114Nov 21, 2025Updated 11 months ago
- ☆45Dec 1, 2025Updated 11 months ago
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆111Nov 26, 2022Updated 3 years ago
- Hydra queue runner rewrite☆57Mar 24, 2026Updated 7 months 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.
- The Virtual Machine Monitor for the Cyberus Hypervisor. Ask us for commercial support!☆29Updated this week
- Master-thesis-final☆18Oct 9, 2023Updated 3 years ago
- Nix build hook that forwards builds to job schedulers.☆32Mar 31, 2026Updated 7 months ago
- ☆27Jan 16, 2022Updated 4 years ago
- ☆16May 3, 2025Updated last year
- Personal Nix setup☆14Updated this week
- Flake for building Buildroot using nix☆25Sep 14, 2026Updated last month