your reply had me reread this and its apparently "Genode" not "Geode OS" which sounds cooler to me.