to clarify one of the statements above -- some rpi2 models are 32-bit (unfortunately for me, that's what i seem to have), some rpi2 models are 64-bit (see the 3rd paragraph or so of: https://en.wikipedia.org/wiki/Raspberry_Pi#Processor)

the practical consequences of this are that i don't currently have the capability to verify whether the builds i did earlier for clj-kondo and bb will run on rpi hardware. (i haven't tracked down an aarch64 distribution that i feel comfortable trying yet either.) if anyone comes across something that looks worth trying to them, please share -- i might still get that working in qemu as apparently their rpi2 emulation available for aarch64.

ok, i was able to run an emulated rpi3 via qemu-system-aarch64 -- and the built bb seems to at least start there 🙂

https://pastebin.com/Lw8uCpEv

it's a bit bumpy, but i followed the article here: https://translatedcode.wordpress.com/2018/04/25/debian-on-qemus-raspberry-pi-3-model/ some notes: * the usual pi user didn't seem to be there, so i used root * the typical default password for rpi did work * i used qemu 5.0.0rc2 -- this lead to a gui starting and choosing View -> serial0 helped to see stuff on the screen * there is no network support for the particular bits i was using, so i used guestfish to copy bb to one of the partitions (see the article for details -- one uses copy-in instead of copy-out and leave off the --ro flag when starting guestfish)

@sogaiu cool! Maybe add this to the issue later?

@borkdude done

@sogaiu Cool! Is it by any chance also possible to post a binary that can run on rpi? Maybe it's useful if others try that out

don't know what you mean -- the binary i compiled on android runs on the emulated rpi. that was what was demonstrated. i don't know if the binary will run on an rpi that has "raspbian" (the default distribution) installed on it because iiuc that isn't aarch64-based.

apparently if one installs a 64-bit kernel (and possibly does some configuration tweaking), one may be able to run aarch64 binaries (even without userland being made 64-bit). https://www.raspberrypi.org/forums/viewtopic.php?f=29&t=250730 so may be there are already people who are trying this setup. in any case, if they are, the binaries that have been posted already would be the ones to try.

ah, i think i've found something i would try if i had an RPi4. according to: https://raspberrypi.stackexchange.com/questions/100926/64-bit-os-on-raspberry-pi-4/101802#101802 manjaro has something for rpi4 that's 64-bit: https://www.manjaro.org/download/arm/raspberry-pi-4/arm8-raspberry-pi-4-xfce/ people who are comfortable using an arch-based linux distribution may find that to be relatively easy to use.

@sogaiu Aaah sorry, ok

np

for folks more comfortable with debian-based things, this might be worth investigating: https://ubuntu.com/blog/updated-images-of-ubuntu-for-the-raspberry-pi-2-3-and-4

that appears to have 64-bit options for both rpi3 and rpi4

i tried to choose things here that are backed by existing distributions -- there are other alternatives that are provided by individuals

i added info like the above to the issue as well

thanks a lot!