philipmather
Posts: 4
Joined: Mon Dec 25, 2017 5:19 pm

UEFI boot to new kernel

Mon Jun 29, 2020 10:13 pm

Maybe I've missed something about this not being possible but I've gotten quite close to UEFI booting to rpi 64bit with a custom 5.5.19 kernel where I've enabled EFI/ACPI/APEI goodness, I've got https://github.com/pftf/RPi4/releases/d ... _v1.16.zip handing over to the kernel, can do it using startup.nsh where I put the kernel parameters from cmdline.txt, such as...

Code: Select all

/efi/EFI/rpi/kernel8.img root=PARTUUID=f3d32910-02 rootfstype=ext4 elevator=deadline fsck.repair=yes rootwait
It boots to the kernel, USB detects and works with keyboard.
I can a see sdhci platform message.
Then EFI variables facility and pstore even.

...but then "Waiting for root device..." and quotes my string above which is a straight copy paste, then nothing... never finds it. I can remove "rootwait" and watch it die a death instead with the messages...

Code: Select all

Cannot open root device "PARTUUID=f3d32910-02" or unknown block(0,0): error -6

...list of ram partitions follows...

Kernel panic - not syncing etc...
Tried various other combos of UUID, PARTUUID, mmcblk0p2 etc... to no joy. Ext4 is compiled into the kernel, also support for sdhci devices enumerated by ACPI, EFI_STUB etc... So the kernel image should have everything needed? Am I missing something?

I can untar a backup of my /boot partition with the same kernel8.img in and boot normally with it so I know the kernel works.

Any ideas?

User avatar
dickon
Posts: 1657
Joined: Sun Dec 09, 2012 3:54 pm
Location: Home, just outside Reading

Re: UEFI boot to new kernel

Mon Jun 29, 2020 10:23 pm

The bootloader doesn't do UEFI. Forget it.

trejan
Posts: 2340
Joined: Tue Jul 02, 2019 2:28 pm

Re: UEFI boot to new kernel

Mon Jun 29, 2020 10:25 pm

From https://github.com/pftf/RPi4
You will NOT get SD support in Linux because current Linux kernels are missing and updated SD card driver with the required ACPI bindings.

dony71
Posts: 21
Joined: Wed Feb 05, 2014 8:39 pm

Re: UEFI boot to new kernel

Fri Jul 10, 2020 2:36 am

Can I use pre-installed ubuntu image for raspberry pi 4 downloaded from below ?
https://ubuntu.com/download/raspberry-pi

I try but fail to boot
UEFI firmware on sdcard with FAT16 format
Ubuntu image on USB disk with FAT32 on boot partition and EXT4 on root partition
I add EFI/BOOT/BOOTAA64.EFI on USB disk boot partition
Grub menu shows and after choose, stuck like below :

EFI Stub: Booting Linux Kernel...
EFI Stub: Using DTB from configuration table...
EFI Stub: Exiting boot services and installing virtual address map...

Anybody can explain why failed?

Return to “Advanced users”