I'm on a two-week trip, and my only PC during my time away from home is a small Chromebook (IdeaPad Duet by Lenovo). Until I was in a hotel room and started installing PICO-8 for fun, I completely forgot that the computer's CPU was ARM, not Intel. Fortunately, there are several variations for Raspberry Pi. I discovered that 'pico8_64' among them works flawlessly on my ARM Chromebook. All I had to do was install 'libsdl2-2.0-0' using good old apt-get.