Genode appears to be very convenient if you are looking into a way to run microkernels for general purpose computing.