grub-mkconfig does not detect any kernel

tshade · n00b Joined: 01 Oct 2007 Posts: 21

I have searched for help, but I have got no clue of what can be happening. I am installing Gentoo (it's not the first time, I have been active since many years), and I have configured and installed the kernel. Now, I try

Logicien · Posted: Sat Dec 17, 2022 3:10 pm Post subject:

Have you install os-prober for Grub to detect other systems. You can try Refind who is good too as a EFI bootloader. Is the path /boot/grub/menu.cfg or /boot/grub2/menu.cfg? On Gentoo Grub2 can be in the path.
_________________
Paul

tshade · n00b Joined: 01 Oct 2007 Posts: 21

I execute 'os-prober' and the result is empty. What am I doing wrong? BTW, /boot/ contains:

EFI, System.map, System.old, gentoo, grub (not grub2), vmlinuz, vmlinuz.old

And /boot/grub/ contains: fonts, grub.cfg, grubenv, locale, themes, x86_64-efi

I have compiled and installed os-prober, grub correctly detects it, but only efi-64 in GRUB_PLATFORMS.

FilthyPitDog · Posted: Sat Dec 17, 2022 9:40 pm Post subject:

Make sure GRUB_PLATFORMS="efi-64" is in make.conf

then redo

grub-install --target=x86_64-efi --efi-directory=/boot
grub-mkconfig -o /boot/grub/grub.cfg
_________________
Gentoo is a way of life...

tshade · n00b Joined: 01 Oct 2007 Posts: 21

I have run the two commands, still no luck. Everything seems Ok, but grub does not detect any kernel.

Logicien · Posted: Sun Dec 18, 2022 4:41 pm Post subject:

What are the permissions in

sabayonino · Veteran Joined: 03 Jan 2012 Posts: 1037

Hi.
Is /boot mounted ? if Yes the EFI directory and its contents overlapped /boot

if you have /boot as "efi" directory , by default it is not mounted so the real /boot is on the / filesystem

I suggest to keep EFI filesystem separated from /boot

/boot ext4 ( or simply keep the /boot directory on / )
/boot/EFI directory FAT32-efi where to install the efi-firmware

tshade · n00b Joined: 01 Oct 2007 Posts: 21

All files in /etc/grub.d/ are executable, except the README, all owned by root.

/etc/default/grub: all lines are commented, except GRUB_DISABLE_OS_PROBER=false and GRUB_DISTRIBUTOR="Gentoo"

I still don't see anything wrong or inusual.

grknight · Retired Dev Joined: 20 Feb 2015 Posts: 1918

sMueggli · Guru Joined: 03 Sep 2022 Posts: 495

tshade · n00b Joined: 01 Oct 2007 Posts: 21

@sMueggli you're right, it's a typo.

It's now working, grub has detected the vmlinuz-5.15.75-gentoo kernel. But I wonder... why does it not automatically do it? I mean, kernel "make install". The Handbook recommends creating /dev/sda1 type vfat, partition type EFI to mount on /boot.

I guess this is not correct, it should mount /dev/sda1 on /boot/EFI, is it right?

I have selected the installed kernel to boot and get "Booting Gentoo GNU/Linux", "Loading Linux 5.15.75-gentoo", nothing more.

I'll try and change /dev/sda1 EFI partition, just in case.

tshade · n00b Joined: 01 Oct 2007 Posts: 21

I have changed boot partition to mount on /boot/EFI/, main sda3 partition contains everything else, including the kernel itself. No luck, I'm stuck in "Loading Linux 5.15.75-gentoo"...

I'm surprised the kernel itself has not append the version number to vmlinuz file, it's the first time I have to append it manually.

grknight · Retired Dev Joined: 20 Feb 2015 Posts: 1918

pietinger · Posted: Mon Dec 19, 2022 6:34 pm Post subject:

tshade,

you are probably missing framebuffer. See more in our "neighbour" thread: https://forums.gentoo.org/viewtopic-p-8764937.html#8764937

pietinger · Posted: Mon Dec 19, 2022 6:41 pm Post subject:

sMueggli · Guru Joined: 03 Sep 2022 Posts: 495

There are more than two choices.

The handbook is not wrong, but is also not the only possible solution. The best solution depends on your needs.

You can (ab)use the EFI System Partition and mount it to /boot. But you can also have a separate /boot partition or you can use the existing /boot directory on your system root partition (also known as /).

The ESP must be formatted as FAT and has all the advantages and disadvantages of FAT.

tshade · n00b Joined: 01 Oct 2007 Posts: 21

Thank you, now, I'm having trouble with GRUB not detecting its config files /boot/grub/x86_64-efi/normal.mod not found

I have tried Boot repair disk, and no luck. Super Grub Disk allows me to boot the gentoo kernel, but I cannot use root, I will set the password by hand, sudo is not installed. I think I will set root password and boot using Super Grub Disk, then reinstalling grub.

tshade · n00b Joined: 01 Oct 2007 Posts: 21

BTW, the framebuffer now works, omg, this is so complicated... :-(

I'm trying lots of things, no luck.

luna80 · Posted: Wed Dec 21, 2022 6:10 am Post subject:

maybe is a stupid question bu did you launch

tshade · n00b Joined: 01 Oct 2007 Posts: 21

Of course, I have executed make install... It has installed the kernel in /boot/vmlinuz, which is not correct (it should append it's version). Strange thing: I have compiled and installed Gentoo many times and I have never seen this problem, I mean, kernel always installs in /boot/vmlinuz-[version]. I think I will wait until I get a different point of view. The clue might be somewhere... I am making a [probably stupid] mistake, so your comment is completely relevant.

pietinger · Posted: Wed Dec 21, 2022 3:57 pm Post subject:

WareChameleon · n00b Joined: 13 Jun 2021 Posts: 13

pietinger · Posted: Thu May 09, 2024 9:06 pm Post subject:

In the meantime we had several versions of “installkernel” (each with a different behaviour) ... maybe it would be good if you activate the necessary use-flags with the help of https://wiki.gentoo.org/wiki/Installkernel and update to the current version.
_________________
https://wiki.gentoo.org/wiki/User:Pietinger