Furthermore by definition an operating system is an interface between userspace applications to the hardware, hence the operating system should be just Linux.

It gets more complicated with microkernels, though because you literally can’t run anything without some important processes running in userspace.