3 ms·

Indeed Google has hundreds of engineers dedicated to kernel projects, not just people who are allowed to dabble in it.