Gentoo Forums
Gentoo Forums
Gentoo Forums
Quick Search: in
EFI install problem cannot copy kernel onto EFI partition
View unanswered posts
View posts from last 24 hours

 
Reply to topic    Gentoo Forums Forum Index Installing Gentoo
View previous topic :: View next topic  
Author Message
rvj
n00b
n00b


Joined: 24 Oct 2018
Posts: 2

PostPosted: Wed Oct 24, 2018 6:29 pm    Post subject: EFI install problem cannot copy kernel onto EFI partition Reply with quote

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
View user's profile Send private message
Keruskerfuerst
Advocate
Advocate


Joined: 01 Feb 2006
Posts: 2268
Location: near Augsburg, Germany

PostPosted: Wed Oct 24, 2018 7:10 pm    Post subject: Reply with quote

Please post the ouput of

df

And it also seems, that the /boo/tefi partition is full.
Back to top
View user's profile Send private message
freke
Guru
Guru


Joined: 23 Jan 2003
Posts: 383
Location: Somewhere in Denmark

PostPosted: Wed Oct 24, 2018 9:21 pm    Post subject: Reply with quote

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 :D
Back to top
View user's profile Send private message
rvj
n00b
n00b


Joined: 24 Oct 2018
Posts: 2

PostPosted: Thu Oct 25, 2018 1:21 am    Post subject: EFI install problem - resolved Reply with quote

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
View user's profile Send private message
Display posts from previous:   
Reply to topic    Gentoo Forums Forum Index Installing Gentoo All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum