Most books and courses introduce Linux through shell commands, leaving the kernel as a mysterious black box doing magic behind the scenes. In this post, we will run some experiments to demystify it: the Linux kernel is just a binary that you can build and run.
On my arch install, all I have is vmlinuz-linux under /boot. How come there’s no further information appended like in the article?
Different distros vary a bit here, and it will differ if you’re on a system using efi.
Sometimes /boot isn’t mounted by default (it’s not needed unless you’re updating a kernel). You may be seeing a symlink or placeholder there.
If you’re using efi there will probably be /boot/EFI or something where your kernel is stored.