That depends on the kernel configuration mostly. I just tried, and my kernel used in that multi-boot image can run the 32bit arm statically compiled binary. So

That depends on the kernel configuration mostly. I just tried, and my kernel used in that multi-boot image can run the 32bit arm statically compiled binary. So I guess you can grab a kernel from here: https://xff.cz/kernels/ https://xff.cz/kernels/ and use it to run your 32-bit userspace.