Thanks for pointing out Inferno OS. I recently started tinkering with embedded devices after a long gap, and this looks like perfect project to work on!