Another idea: port HaLVM and get a Haskell baremetal OS - with native threads, GC, type safety, instant boot - <a href="https://github.com/GaloisInc/HaLVM" rel="nofollow">https://github.com/GaloisInc/HaLVM</a>
That's an interesting use case for Raspberry Pi. My team loves to play around with them. In fact we are about to launch an Open Source OS for it (the current Raspbian OS is weak at best). We're also testing various serially chained variations as well.<p>Bottom-line. It's really cool to see what this little thing is doing as far as innovation in the market.