Ahh. That's interesting! I note a few people are trying it on raspberry pis too, which makes sense.
I wonder if I can get this building on one of my many rpis... might be a good place to start as I can happily just throw a console only install of linux on an SD card with one.