<matthewbauer>
Hey, I know this channel is meant for 64-bit arm, but I've been having lots of problems getting my Raspberry Pi 0. Every time I try boot from u-boot-rpi0.bin. It gets stuck at "Starting kernel..." every time, no other information. Does anyone have a working raspberry pi 0 config? I'm starting to wonder if my Linux kernel is somehow configured wrong. You can see my config at https://github.com/matthewbauer/kiosk
<matthewbauer>
(you can build the image with release.nix).
<samueldr>
no worries, non-64 bit arms are also loved here
<samueldr>
do you have serial to check things?
<samueldr>
(I'm assuming you see the message on HDMI)
<matthewbauer>
unfortunately not - this is just hdmi so far
<samueldr>
the most likely explanation is that the kernel doesn't output to HDMI
<samueldr>
or the other as likely explanation is that it freezes
<samueldr>
it's been a while since I checked rpi0/1 works
<samueldr>
hm, you may want to figure a better way to select the kernel, as pi 3 and 4 both would be aarch64 and this will cause issue with the pi foundation defconfig AFAICT
<matthewbauer>
linuxPackages_rpi1 should give me everything I need from what I see
<samueldr>
yep, pi 0/1 should be fine
<matthewbauer>
I am pretty sure I had it working like ~1 year ago when I was first trying this, but I may have been doing something different like no u-boot
<samueldr>
plausible, u-boot and the pi kernel also updated during that time
<samueldr>
started the build, not sure exactly how long it'll be, my cache is cold