4 ms·

Yeah, this is one of the reasons why I think a microkernel would be excellent for today's computing.