Do Google and the like actually use TCP in user space or they just use the Linux kernel?

Edit: Looks like they do but not for TCP from what I can find: https://static.googleusercontent.com/media/research.google.c...