Besides talking about GNU Hurd in 2018 one of the other interesting talks in FOSDEM’s micro-kernel track this year was on an Intel GPU resource multiplexer being developed by the Genode project…

Source: Phoronix – Genode Is Developing A GPU Multiplexer For Intel Graphics Hardware