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