15
Not to be "that guy" but just FYI Linux IS the kernel. Everything else you use on top of it (the shell, commands, UI, etc) are just GNU (For shell stuff) and packages.
That's why you may see Linux referred to as "GNU/Linux" aka the Linux kernel with all the standard GNU tools included.
As for Mallorca, I dunno