One comment to add to your post, Linux is better on performances not just because of the less overhead, but because manages resources much effectively. You could have a bloated linux, it still would perform better because resources are properly managed