an invention by MSirringhaus
Migrate my old 32bit raspberry-pi setup over to new x86_64-hardware and switch to microOS.
