3 ms·I guess that will reboot the micro kernel vs monolithic kernel discussion.by jokoon 10y agoI guess that will reboot the micro kernel vs monolithic kernel discussion.