1344 Open source projects that are alternatives of or similar to nixos-on-arm

Zero-dependency, reproducible build environments

Frosted: Free POSIX OS for tiny embedded devices

Dotfiles

Yet Another Nix Type System | Source has moved to https://git.tazj.in/tree/nix/yants

A secure and high performances microkernel for building secure MCU-based IoTs

Dotfiles for my NixOS system based on Dracula theme

Nix - Static, Permissionless, Installation-free, Pre-configured

My NixOS configuration

My nix configuration(s), using flakes. It's my laptop, it's my servers, it's my everything, in code.

one hour, hands-on

Scan Nix files for dead code

Bisect nix builds. Status: alpha/proof of concept. You'll probably have to dig into the implementation if you want to use it. Built for personal use, lightly maintained. PRs welcome. Issues welcome, but I make no promises regarding responses or fix

Free, simple, extremely lightweight, stackless, cooperative, co-routine system (OS) for microcontrollers

Configuration files for my NixOS machine, declared by home-manager

A Nix Home Manager setup. I've now moved to a new configuration system at hugoreeves/elemental

Presentations at the Tokyo Nixos Meetup

My personal nix config

Tutorials for Nix and Nixpkgs. Note so far it is a proof of concept.

The system configuration of a professional yak shaver

Use Nix flakes without any fluff.

NixOS configuration (also on WSL)

A library to functionally define your configuration and theme (rice) with Nix

Abstractions for asynchronous programming on the STM32F1xx family of microcontrollers.

A Rust embedded-hal HAL for all MCUs in the STM32 F7 family

MDEPX — A BSD-style RTOS

Fast, safe and easy to use Cortex-M HAL Library, written in C++ 17

Official micro-ROS RTOS

GitHub repository containing highest quality Nix/NixOS content

Tupai is a multi-tasking operating system I wrote for my degree that focuses on safety and design, targeting a variety of platforms.

Some articles about getting started with Nix programming & configuration

Toddler is a well-designed usable and portable microkernel OS

Kexec into an in-memory emergency system

Elemental, the component parts of a Nix/OS development system.

Nix Packages collection used in Nubank

Configure Neovim with Nix!

Tutorial for practical deployments with NixOps

A flake utility library to craft shell-, home-, and hosts- environments.

nix stuff

An archive-less dockerTools.buildImage implementation

“Zero setup” cross compilation and “cross testing” of Rust crates

my Linux Configuration

No place like ~. Nix. All. The. Things.

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Quickly theme programs in your favourite base16 colorscheme

I have no idea what the hell I'm doing

Wavetable Synth Running on an STM32F 32-bit ARM Cortex M3 microprocessor

Servo library with stm developed by the Liek Software Team. We are working on new versions.

This tutorial provides one example on how a CI (Continuous Integration) workflow with the IAR Build Tools for Linux can be set up on GitHub. The IAR Build Tools on Linux are available for Arm, RISC-V and Renesas (RH850, RL78 and RX).

Triton Operating System

🏠

NixOS system config & Home-Manager user config

⚙️Nix[OS] Configuration

xtrix OS repo

Main kernel tree

Violate Nix philosophy, install Python packages mid-session with `from nixpkgs.scipy import scipy`.

A repo for my nixos configuration files

Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

A binary xPack with the Arm Embedded GCC toolchain

runtime decrypted age secrets for nix home manager

Orange pi Kicad libraries and footprints.