Many of the bigger SV tech companies have an internal kernel/os team.