Comment by Zamiel_Snawley

Genode is an actively developed, general purpose desktop operating system that works today, and can use seL4, among other kernels.