3 ms·

Thank you kindly for providing these links. I do hope that microkernels take off in a big way for general purpose computing someday.