EFI install problem cannot copy kernel onto EFI partition

rvj · n00b Joined: 24 Oct 2018 Posts: 2

I have been following Sakaki's EFI Install Guide for a new HP probook. I'm at the step of running buildkernel, which has successfully completed almost all of the of the kernel build, but stumbles towards the end at writing the kernel onto the EFI system partition. A scrap of the output:

Kernel: arch/x86/boot/bzImage is ready (#4)
Installing boot files to /boot; for reference only...
[additional lines, not copied in this posting]
buildkernel: Error: Insufficient space to copy kernel onto EFI system partition! - exiting
buildkernel: Warning: Unmounting '/boot/efi'
umount: /boot/efi: no mount point specified

At that point, buildkernel stops.

/dev/sda is a hard disk for user files, /dev/sdb is a solid state drive for system files and backup.

The contents of buildkernel.conf are:

EFIPARTUUID points to the PARTUUID for /dev/sdb1, the "EFI System Partition"
CRYPTPARTUUID points to the PARTUUID for /dev/sdb6 where I am installing the linux root
KEYFILEPARTUUID points to the PARTUUID for the USB stick (/dev/sdd1)

The EFI system partition is /dev/sdb1 with a size of 360.0 MIB and 89.59 MIB used for Windows. The bzImage size is 139 Meg.

One deviation from the Sakaki script: I have set up a second lvm for the /home directory, on /dev/sda3 instead of /dev/sdb6

Any guidance on how to proceed, or how to provide more meaningful information for diagnostics, would be appreciated!

Keruskerfuerst · Posted: Wed Oct 24, 2018 7:10 pm Post subject:

Please post the ouput of

df

And it also seems, that the /boo/tefi partition is full.

freke · Posted: Wed Oct 24, 2018 9:21 pm Post subject:

rvj · n00b Joined: 24 Oct 2018 Posts: 2

Turns out this was a simple error. I didn't follow the instructions to mkdir /boot/efi. Once done, the kernel installed without problems.

Sorry for the confusion, and thanks to Keruskerfuerst for your response.