I used Ubuntu on a Raspberry Pi 4 for the es40 testing. It's however quite possible that AXPbox will run on 32-bit Raspbian - I had problems with a PowerPC G4 (

I used Ubuntu on a Raspberry Pi 4 for the es40 testing. It's however quite possible that AXPbox will run on 32-bit Raspbian - I had problems with a PowerPC G4 (Freescale MPC7447A) CPU, but that is in addition to being 32-bit also big endian.