3 ms·

They didn't have to make the userland, which is arguably a big part, open source so I opted for google...