<andi->
What machiens are you guys using for aarch64? I used 2 RPI3s but the performance and the reliability of PIs are not fun to work with.. The machines at packet.net seem nice (the one that is on hydra) but not really affordable for some after-hours tinkering :D Been looking for a proper "serverish" board for a while now :/
<gchristensen>
andi-: AFAIK we can get a Packet box for community people to hack on as soon as someone (me probably :P) writes the proposal...
<andi->
some way to share access to such a box to do compilation and testing of some kind would be great.. probably won't remove the need for a box with some kind of serial/console access
<gchristensen>
right
<gchristensen>
we can solve probolems as we come to them :)
<gchristensen>
I'll work on that proposal now
<gchristensen>
"### Please state your contributions to the open source community and any other relevant initiatives
<gchristensen>
" this is the hardest part :P
<Dezgeg>
do they have to be personal?
<gchristensen>
I don't know
<gchristensen>
I'll list a few things
<Dezgeg>
I mean personal as in the person filing the proposal or can it be from the potential users of the thing
<gchristensen>
oh
<gchristensen>
yeah how about I get some good stuff from you, Dezgeg :)
<flokli>
I bought a clearfog pro some months ago, to eventually build a declarative router with good mainline kernel support. Aarch64 too. I'm not sure if it's beefy enough for longer compilations, so I'm also much interested if somebody knows about more powerful hardware :-)
<Dezgeg>
well besides nixos, I contributed mainline kernel patches to the tegra ARM soc several years ago (when working at nvidia)
<gchristensen>
nice :D
<Dezgeg>
nowadays I send stuff to the U-Boot bootloader as well on free time
<flokli>
Dezgeg: nice :-)
<flokli>
did you play around with u-boot and managing boot configuration using nixos so far?
<Dezgeg>
yes, it can already write extlinux.conf files