View previous topic :: View next topic |
Author |
Message |
rvj n00b

Joined: 24 Oct 2018 Posts: 2
|
Posted: Wed Oct 24, 2018 6:29 pm Post subject: EFI install problem cannot copy kernel onto EFI partition |
|
|
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! |
|
Back to top |
|
 |
Keruskerfuerst Advocate


Joined: 01 Feb 2006 Posts: 2288 Location: near Augsburg, Germany
|
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. |
|
Back to top |
|
 |
freke Guru

Joined: 23 Jan 2003 Posts: 386 Location: Somewhere in Denmark
|
Posted: Wed Oct 24, 2018 9:21 pm Post subject: |
|
|
Quote: | And it also seems, that the /boo/tefi partition is full. | Go for the eyes, Boo. GO FOR THE EYES! RrraaaAAGHGHH!
Sorry - probably played BG too much  |
|
Back to top |
|
 |
rvj n00b

Joined: 24 Oct 2018 Posts: 2
|
Posted: Thu Oct 25, 2018 1:21 am Post subject: EFI install problem - resolved |
|
|
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. |
|
Back to top |
|
 |
|