3 ms·

gokrazy does use Linux kernel though.