But that Linux kernel is usually compiled using gcc, still? I remember there were some effort to port to first intel's compiler, then clang - but AFAIK the off

But that Linux kernel is usually compiled using gcc, still? I remember there were some effort to port to first intel's compiler, then clang - but AFAIK the official stance of upstream Linux is "we use GCC, get over it"?