Re: Implementing additional SPECS in genode-world