Add Raspberry-Pi support

[viric]

Now, stdenv-updates builds fine many packages for the pi.

The current nixos can be built fine. But we still have to prepare its boot.loader (a vfat on /boot, with some firmware included).

generationsDir won't work in the current state, because it uses symlinks.

[viric]

I had some issues adding the raspberrypi-firmware, related to a curl problem: NixOS/nix#85

[viric]

I have an untested bootloader in https://github.com/viric/nixos/tree/raspberrypi

[viric]

Ok, I updated the bootloader, and I almost got there. The kernel lacked the ext4 support!

[viric]

I wrote information on how to use the current raspberrypi nixpkgs/nixos: https://nixos.org/wiki/Raspberry_Pi

[viric]

With some help from distcc, I could build a basic nixos from bootstrap-tools in 30h.

[viric]

drewc hosts a SD image I prepared (For 2GiB SD cards minimum):
http://drewc.org/nixos/nixos-raspberrypi-3c2f45695-be88539d84-sd2g.img.xz (~250MB)

SHA256: 6297894c386a3b41a7b839a44bc19c694bcb69041bcd7630af97a566a4642fb0
Please test it and report.

[rickynils]

I tried it out, but it just seem to hang somewhere during stage-1 module loading, after it has loaded my usb keyboard modules. I will see if I can fiddle around with it a bit more.

[viric]

On Sun, Feb 03, 2013 at 04:36:53AM -0800, Rickard Nilsson wrote:

I tried it out, but it just seem to hang somewhere during stage-1 module loading, after it has loaded my usb keyboard modules. I will see if I can fiddle around with it a bit more.

The pi image shouldn't be using the stage1 at all. I haven't tried to run the
stage 1 (initrd).

[rickynils]

Ok, then it hangs in the pi-image's pre-stage-1. It stops during early boot. It loads eth0-modules, and then usb-devices. The last thing it loads is my usb-keyboard.

[domenkozar]

What is the latests revision of this? On 16.2. we have nixos install fest and I might want to try to get nixos working on rpi.

[viric]

On Sun, Feb 03, 2013 at 07:24:42AM -0800, Rickard Nilsson wrote:

Ok, then it hangs in the pi-image's pre-stage-1. It stops during early boot. It loads eth0-modules, and then usb-devices. The last thing it loads is my usb-keyboard.

All in-kernel I guess. Did you check the cmdline.exe? Does it say anything about
the rootfs?

As for the latest version... Well, the latest version is the latest version
here.

[viric]

Right! Garbas reported the same. The fix is very easy! In 'cmdline.txt', replace "root=/dev/sda5" to "root=/dev/mmcblk0p2".

It was simply in 'rootwait'.

[viric]

New image uploaded, should boot straight: http://piqd.com/api?g=E6714360-6570-44A7-90FF-446D692CC305&dl (~165MB): nixos-raspberrypi-233cc2fda-be88539d84-sd2g.img.xz, sha256 9bad90e40439e230730a979aaae6960b25b9cdf113477f24c74ec56c67d1de7d

[viric]

New image, same versions as above, but now with vim, git, ts, and some other useful pieces: http://piqd.com/api?g=5D523A3A-D8F9-4CDD-95CF-91270B79DEFC&dl (~201MB): nixos-raspberrypi-233cc2fda-be88539d84-sd2g.img.xz, sha256 53aa211e9865b2442419b13f8f6f5ffcc15929e2bd0af7467d3ac8b490e6dd06
Update: it had a link with a bad download, before. But I fixed it, writing a new url.

[garbas]

i think image is broken i get

% sha256sum nixos-raspberrypi-233cc2fda-be88539d84-sd2g.img.xz
99b7f25c5be5b38ad733598344ed6009f2bb5b740def74067093932baa41effe  nixos-raspberrypi-233cc2fda-be88539d84-sd2g.img.xz

% xz -d nixos-raspberrypi-233cc2fda-be88539d84-sd2g.img.xz
xz: nixos-raspberrypi-233cc2fda-be88539d84-sd2g.img.xz: Unexpected end of input

[viric]

I agree. Broken link. No idea what happened.
Ok, new upload address. I've tested the download, this time: http://piqd.com/api?g=5D523A3A-D8F9-4CDD-95CF-91270B79DEFC&dl

[garbas]

download above link using "wget -cnd " ... downloading browser (FF, Chrome) fails

[viric]

It worked for me, from firefox 18. Also worked for me, using curl. But I used the same firefox/curl in the previous url (now gone in this thread), and I got the 99... checksum too.

[viric]

Latest image from today: magnet:?xt=urn:btih:3a1273137a31ef65453ddc44eafcf8e0ede24731&dn=nixos-raspberrypi-ef28e8e70e96-0236cc5d8826-sd2g.img.xz

Now that this is merged into master, I think we can close the issue and use the wiki page as documentation: https://nixos.org/wiki/Raspberry_Pi

[qknight]

i have a copy of that file here: https://lastlog.de/misc/nixos-raspberrypi-ef28e8e70e96-0236cc5d8826-sd2g.img.xz

md5sum nixos-raspberrypi-ef28e8e70e96-0236cc5d8826-sd2g.img
1d3de3b85b93814b5700aeb1b14e7163  nixos-raspberrypi-ef28e8e70e96-0236cc5d8826-sd2g.img

sha256sum nixos-raspberrypi-ef28e8e70e96-0236cc5d8826-sd2g.img
4e31c596a2c5898c2645bdc3d624ae56349ae1ca467d0ff980630f6863830d72  nixos-raspberrypi-ef28e8e70e96-0236cc5d8826-sd2g.img

i'm also seeding the magent link.

thanks viric!

[ghost]

The torrent seems dead from my end. 😢

Maybe it would make sense to create a github project with releases for this?

[garbas]

anybody running nixos on RPi? which model? what are you running? media server, file sharing server, vpn, ...?

[qknight]

hey,

i'm running nixos on rpi2 (abandoned), odroid u3 (abandoned), odroid xu4
and on my APU (amd64).

On 30.05.2016 14:04, Rok Garbas wrote:

anybody running nixos on RPi? which model? what are you running? media
server, file sharing server, vpn, ...?

—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub
#66 (comment), or
mute the thread
https://github.com/notifications/unsubscribe/AAIYvvgshR1S8UKaNDOgUpzySSmVy9VAks5qGtJggaJpZM4AWBCY.

Joachim Schiele

blog: http://lastlog.de/blog
wiki: http://lastlog.de/wiki
jabber: josh@jabber.ccc.de
GPG: 6D8F75EE (key here: https://lastlog.de/blog/about.html)

[garbas]

anybody tried to run it on rpi3?

[qknight]

just use the rpi2 image and basically follow this guide:

https://nixos.org/wiki/Raspberry_Pi#Raspberry_Pi_variant.28s.29_fix

you really need the usb console interface to make it work as you
wouldn't know the boot issues otherwise. in general: if you see nothing
on the terminal you probably failed providing the correct revisions of:

• bootcode.bin
• start.elf
• start_cd.elf
• fixup_cd.dat
• fixup.dat
• fixup_x.dat

just download them for the rpi3 and copy them like described. good luck

On 30.05.2016 14:41, Rok Garbas wrote:

anybody tried to run it on rpi3?

—
You are receiving this because you commented.
Reply to this email directly, view it on GitHub
#66 (comment), or
mute the thread
https://github.com/notifications/unsubscribe/AAIYvg3XwGwWz7foj6VWuRb5S64I5eI3ks5qGtsCgaJpZM4AWBCY.

Joachim Schiele

blog: http://lastlog.de/blog
wiki: http://lastlog.de/wiki
jabber: josh@jabber.ccc.de
GPG: 6D8F75EE (key here: https://lastlog.de/blog/about.html)