arm64 raspberry pi 3 devuan jessie RC image does not boot
When I attempt to boot the image at https://files.devuan.org/devuan_jessie_rc/embedded/devuan_jessie_1.0.0-RC_arm64_raspi3.img.xz I only get as far as the big-rainbow-square, no further. Using the armhf image at https://files.devuan.org/devuan_jessie_rc/embedded/devuan_jessie_1.0.0-RC_armhf_raspi2.img.xz (same (64GB Sandisk Extreme Plus) SD card, same raspi, same PSU, same everything ;) all is well and boot completes. I experimentally tried replacing the kernel.img with kernel7.img and then with kernel8.img, with the same result (no progress beyond the big rainbow square).
Anyone able either to reproduce, or indeed succesfully to boot the arm64 image on raspberry pi 3? If others are able to boot up that image then I'm puzzled, and would welcome help regarding debugging the problem (I haven't tried debugging boot on a raspberry pi before, pointers to resources also welcome!)!
Previous arm64 beta2 booted and ran fine (but I no longer have that image around to test!), and as I say, armhf raspi2 image also boots and runs fine.
OK. It seems some things might have changed, because the arm64 kernel patches got upstreamed to raspberrypi-linux.
Do you use IRC? We could try some tests.
Otherwise, please try these modules and the kernel, and report back: https://pub.parazyd.cf/tmp/boot+lib.tgz
(It's a tarball, untar it in the root of your microSD card, contains /boot and /lib)Edited by parazyd
Successful boot with that kernel & libs :)
Let me know if you'd like any logs / to test anything else (have literally just watched boot finish, logged in as root, and tried nothing else, so far!)
Can join you on IRC to run through more testing if you like, let me know which channel and some dates/times which would work for you!
Thanks for such a quick (and successful ;) response!
Great, I will update the image offered for download. Thanks for trying it out!
Optionally, you can email me the output of
dmesgon your Pi. That can be interesting.