Hi Genodians,

Today I came across this paper[1] on the slowdown from POSIX and other kernel abstractions. It offers the notion of a parakernel to break down the monolithic kernel and take kernel abstractions out of the data path.

It seems that Genode, although not a parakernel, is quite well adapted to this. Not by accident, I think ;-)

It's discussed at [2]

1: https://penberg.org/parakernel-hotos19.pdf 2: https://news.ycombinator.com/item?id=19818899