Log In  

Are there any plans to support the ARM64 architecture? 64-bit OSes for the Raspberry Pi and other boards are becoming more popular, and at present the only way to run PICO-8 on a 64-bit Pi OS is to install Raspbian in a chroot, use a hack in the .Xauthority file, and run PICO-8 from within the chroot.

That is not a satisfactory solution. No OSes exist for the Pi that have a mixed userland (Raspbian is 32-bit only) so the most practical solution is to put together an ARM64 build for PICO-8.

If you don't have easy access to a 64-bit image to build on, there is one based on Gentoo that comes with a desktop and toolchain out of the box: https://github.com/sakaki-/gentoo-on-rpi-64bit

Only you have the source code, @zep! What do you think? :P

P#71918 2020-01-14 03:36

+1, now that I know this is an issue anyway. There's also a usable image of Ubuntu Server here:

https://jamesachambers.com/raspberry-pi-4-ubuntu-server-desktop-18-04-3-image-unofficial/

I think the latest official distro of 19.10.x is fairly complete in its support for RPi4 in arm64 mode too, but I haven't tried it myself yet.

P#71919 2020-01-14 03:45 ( Edited 2020-01-14 03:53)
:: Felice
2

(Psst catatafish, if you really want to +1, that's what the star button on the right of each post is for.)

P#71974 2020-01-15 23:40

[Please log in to post a comment]

Follow Lexaloffle:        
Generated 2020-01-22 15:28 | 0.009s | 2097k | Q:14