3 ms·

I'm glad to see that they are experimenting with mixing Debian userland and the FreeBSD kernel... 6.0 looks like a very promising release.