> And there is nothing inherently inefficient about the Linux kernel. The first thing that comes to my mind is the user space networking drivers for linux [1].

> And there is nothing inherently inefficient about the Linux kernel. The first thing that comes to my mind is the user space networking drivers for linux [1]. They aren't very ergonomic, but the massive speed increase that is possible shows how inefficient normal linux networking is. The promise of unikernels is the speed of user space networking but with good ergonomics. Like I said earlier, if I had to bet, I'd bet on Linux. But there is work to be done. ___ 1. https://en.wikipedia.org/wiki/Data_Plane_Development_Kit https://en.wikipedia.org/wiki/Data_Plane_Development_Kit