Genode – The microkernel approach (2008)

Rather than that basic page that hasn't been updated in forever, it would have been better to link the "Genode Book"

https://github.com/nfeske/genode-manual

Or a prebuilt version from months ago: https://genode.org/documentation/genode-foundations-17-05.pd...