00:00 <samueldr> is there any particular bit that requires the default image to put /boot on that FAT partition?

00:00 <Dezgeg> not really

00:01 <Dezgeg> I guess any rpi documentation that refers to editing /boot/config.txt becomes wrong, though

00:01 <samueldr> our setup is already different than most rpi setups, can't change kernel arguments with config.txt

00:02 <Dezgeg> that's true

00:03 <gchristensen> not to mention the whole FHS thing

00:03 <samueldr> adding a dummy /boot/config.txt in the ext4 partition with comments pointing the right file might help

00:03 <gchristensen> and a "how to edit the config.txt but for nixos" wiki article

00:03 <samueldr> a nice sub-section to the freshly made raspberry pi page :)

00:03 <gchristensen> :)

15:29 <andi-> started building openjdk with gcj again... 4 cores busy with unionfs m(

16:32 <andi-> mhm compiling gcc 6.4.0 on current staging failes -.- http://dpaste.com/1P4JKNZ any idea what the real issue is? There are a few lines complaining about stuff but which is triggering the abort?