Re: Prerequisite mechanism that Genode expects from a new kernel