> And thus, you should be skeptical of any claims of Linux providing security.
When did I say Linux has perfect security?
I presume the point you're trying to make is that different operating systems, with different architectures, can beat Linux in various regards. Of course this is correct. But for a general-purpose multi-platform Unix-like OS, Linux is king, and will be for the foreseeable future.
That goes beyond strawman.
Try reading: https://microkerneldude.wordpress.com/2018/08/23/microkernel...
For as long as Linux is a monolithic design, the whole kernel is going to be part of the TCB.
And thus, you should be skeptical of any claims of Linux providing security.