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
That’s an absolutely correct and very relevant point. On any equivalent computational loads, Linux comes out ontop. Better scheduler, better I/O, better stack.