2 ms·

Oh interesting--I didn't realize that was the case. I guess it is correct to call the kernel BSD in that sense!