[Teongot]

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/...

[lproven]

So I have been informed, in some detail, over on Lobste.rs.

I am glad to hear it. I like this little OS and I want to see it survive!