wip
/
nixpkgs
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
336 Commits
1 Branch
1.1 GiB
 
 
 
 
 
 
Tree: 7efd48f100
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '7efd48f100'
${ noResults }
nixpkgs/raspberry-pi/2
Jörg Thalheim 9c952961f1
Add parallel test runner 		6 years ago
..
README.org raspberry-pi/2: format README 8 years ago
default.nix Add parallel test runner 6 years ago

README.org

Status

The code in master as of June 2015 should be able to prepare a bootable NixOS for Raspberry PI 2.

There are still some drawbacks:

NixOS does not provide a /boot/config.txt (the FAT32 partition). Making NixOS work in the Raspberry PI 2 is mainly the result of the recent work of ambro718, Dezgeg and viric (#nixos@irc.freenode.net).

Download

If you want to test, you can flash this 4GB SD image (DOS partition table + fat32 + ext4 rootfs):

magnet:?xt=urn:btih:0def3f6acb3bceddb22cb24098f58e40e2853ec2&dn=rpi2-nixos-4b09501f2-img.xz&tr=udp%3A%2F%2Fopen.demonii.com%3A1337&tr=udp%3A%2F%2Ftracker.openbittorrent.com%3A80

Then you should be able to nixos-rebuild any configuration.nix changes.

The image is the result of a "nixos-install" alone. No root password has been set, and it does not include a nixpkgs checkout or channel. In fact I (viric) created the FS into a NBD, not a real SD, to create this image.