07:24 <andi-> gchristensen: what is a tiny machine in nixos speech? Are you planning to just run it on there or also using nix and updating the system? ;) I am having a hard time with picking embedded boards for that purpose. The RPi3 might somehwat work but it isn't a pleasure to use it. Also many of the newly manufactured ARM boards still come with at most 1GB of RAM or if you are lucky 2GB. With nix already

07:24 <andi-> eating around 1GB it is not fun if you arctual workload wants soem RAM as well :/

11:06 <gchristensen> I wouldn't run nix on the machine

14:07 <Dezgeg> U-Boot 2018.07 is now up - this fixes a bug in ubootQemuArm and ubootQemuAarch64which prevented using more than 3GB of RAM

19:31 <bennofs> Would it make sense to include a module for extlinux based board in the nixos hardware config templates?

19:31 <bennofs> so that nixos-generate-config works on raspi for example

19:34 <gchristensen> probably shouldn't since we barely support raspi and certainly not in any reasonable capacity

20:44 <grw> gchristensen: in my experience all the orangepi/nanopi allwinner boards work great with nixos + mainline kernel

20:45 <grw> a bit slow compared to rk3328 or rk3399 though

20:46 <gchristensen> oooh nanopi is a nice looking size

20:46 <gchristensen> a bit more money than I was hoping, but workable!

20:47 <grw> orangepi are very cheap :)

20:47 <gchristensen> not as nice of a size

20:49 <gchristensen> I wan the impossible trifecta, good, cheap, and quick :P

20:50 <samueldr> well, given an infinite timeline, you will

20:51 <gchristensen> :D

20:53 <bkchr[m]> Raspberry pi 3 also works reasonable good with nixos and mainline kernel

20:57 <grw> same size as rock64 tho, which is faster and cheaper (i think)

20:57 <grw> emmc makes a big difference to responsiveness

20:57 <gchristensen> cheaper I'm down with

20:59 <samueldr> emmc is key, sd cards I would say is garbage for a system :(

22:03 <bennofs> i haven't had any problems with nixos on raspi so far

22:08 <bennofs> how about a simple adoption of nixos-generate-config that disables grub and enables extlinux if /boot/extlinux exists? that should cover the sd-image cases

22:08 <gchristensen> we don't build for it in hydra, though, right?

22:09 <bennofs> sd images for aarch64 is built by hydra

22:09 <bennofs> and can run unmodified on rpi

22:10 <gchristensen> oh

22:10 <gchristensen> so

22:10 <gchristensen> I'm very +1 on making nixos work nicely on the rpi3

22:11 <samueldr> I never used nixos-generate-config on SBC