<samueldr>
I swear I'll get to shave the yak one day
<samueldr>
the main README of the repo also is a good documentation; AFAICT it's a total independent readme compared to the forked repo's
<gchristensen>
oh nice
orivej has quit [Ping timeout: 250 seconds]
worldofpeace has joined #nixos-aarch64
worldofpeace has quit [Ping timeout: 240 seconds]
<samueldr>
wheeeeeeee! nix-built tianocore for raspberry pi 3
<clever>
samueldr: nice
<samueldr>
oh, additionally: cross-built
<samueldr>
part two out of three of the yak shaving... done
<samueldr>
now that I've mastered the build system of edk2, I hope I can figure out how to make the allwinner one work :/
<clever>
samueldr: oh, that reminds me
<samueldr>
yeah?
<clever>
samueldr: i tried to build an EFI binary a few months ago
<clever>
just a normal one for the same arch
<clever>
a simple hello-world one
<clever>
but it failed to boot under vbox and qemu
<samueldr>
(oh, and I have seen there's an RK3399 tianocore by the same people than that raspberry pi 3 one, which is exciting to me... though my rk3399 box hasn't shipped yet :/)
<samrose>
gchristensen: so somehow in the building of nixpkgs, hydra knows that the hardware for those builds should be arm, and uses the appropriate build machine eh?
<samrose>
I will submit a PR this week for the bpim64 u-boot build
<samueldr>
samrose: \o/ you can ask a review from me (it should be trivial I hope)
<samrose>
samueldr: will do. that part is literally copy/paste of the pine64 with the appropriate defconfig arg
<samueldr>
as expected :)
<samueldr>
A64/R18 boards probably could be further genericized to reduce copy/paste if we ever feel there's too much
<samrose>
hmm yeah good idea
<samueldr>
(not now, and ideally we only add builds once tested on hardware)
<samrose>
right on
<makefu>
btw i got a message from the postal service that at january 2nd, a parcel from firefly should arrive. board should be rk3399, but i am not sure about what needs to be done for the bootloader right now though
<samueldr>
:<
<samueldr>
libre.computer still hasn't shipped their boards (built with firefly's help)
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 250 seconds]
orivej has joined #nixos-aarch64
orivej has quit [Ping timeout: 245 seconds]
zupo has joined #nixos-aarch64
worldofpeace has joined #nixos-aarch64
zupo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<mog>
finally home and have my librem5 dev board
<samueldr>
now, make it boot :)
<samueldr>
with nixos*
<mog>
yes
<mog>
but first have it boot just pureos
<samueldr>
what's the boot chain like?
<mog>
i believe it uses uuu for flashing
<samueldr>
I just loaded up the docs
<mog>
it is frustrating the screen doesnt work out of box
<mog>
as i dont have a minihdmi cable at home
<samueldr>
aw, and frustrating thing with mini hdmi (or was it micro?) there are different standards and it's not obvious which one is which
<mog>
ya i dont know why no one uses type d micro and i dont see advantage of type c given its not a lot of saved board space
<samueldr>
I believe it was with a Type C cable (so mini) ODROID-C1 has a grounding issue making some cables work and some not; I don't know whether it was the cable which were non-compliant or the ODROID, maybe both :/
<mog>
frustrating
<samueldr>
ah, so u-boot is on a separate chip than the system, so not on eMMC
<samueldr>
that's neat
<samueldr>
well, I assume that's what the SPI NOR is used for
<samueldr>
:/ their imx-uboot fork is versioned 2017.03, apparently, but at least that's recent enough to work with the "Generic Distro Configuration Concept"
<samueldr>
though no uefi
<samueldr>
(I think)
<mog>
no uefi
<samueldr>
I meant the uefi support that uboot has, not another implementation