@dubh @xianc78 I've heard of GeckOS but never used it. Googled Archon but couldn't find anything.

Here's a tiny os called contiki that is really cool: https://en.wikipedia.org/wiki/Contiki