08:30 <maz> sphalerite: it is likely that the wifi issue you see is because MSIs are not working in the secondary kernel (long story). try passing irqchip.gicv3_nolpi=1 to your *first* kernel so that it doesn't use MSIs itself. this should fix your secondary kernel.

08:31 <maz> tough having a real bootloader would be much better.

08:31 <maz> though*

12:24 <sphalerite> maz: ooh, thanks for the tip! I'll give that a try. Do you know of a real bootloader that works on gru devices?

12:31 <maz> sphalerite: there was some effort to make u-boot work on gru, but I have no idea when happened to it.

12:49 <sphalerite> hanetzer: ^ was that you? :)

12:55 <mps> sphalerite: I can test on gru-kevin if someone build it or give instructions how to build it

13:00 <sphalerite> mps: that's exactly what I'm looking for too :D

13:00 <mps> heh :)

17:44 <hanetzer> sphalerite: not u-boot. I just shoved petitboot into coreboot

18:02 <sphalerite> hanetzer: ah ok. Does WiFI work for you with that setup?

18:02 <sphalerite> I've got essentially the same thing except more of a homebrew thing rather than petitboot proper — but that shouldn't make a difference, since in the end it's all kexec, right?

18:33 <hanetzer> yeah. Uh, I belived I did something like maz said with the irqchip

18:33 <hanetzer> machine is currently running stock chromeos because I was trying to do something fancy