Re: can't run noux_bash on Genode/seL4