Was about to say the same thing! +1 for reading the Genode manual. It is the best resource I have ever found for understanding operating systems, security, and

Was about to say the same thing! +1 for reading the Genode manual. It is the best resource I have ever found for understanding operating systems, security, and architecture. The discussion of multiplexers and report-ROM modules is pertinent here as well (pg 133).