The cost of simulating 32-bit ARM on 64-bit ARM is nothing like 10x if you try hard enough
https://www.research.manchester.ac.uk/portal/files/56078084/...
https://www.research.manchester.ac.uk/portal/files/56078084/...
I am glad to hear it. I like this little OS and I want to see it survive!