Go to advanced search

by Akeo
Sun Aug 16, 2020 12:08 am
Forum: Debian
Topic: Guide: Installation of *VANILLA* Debian 11 (or later) on a Raspberry Pi 4
Replies: 0
Views: 182

Guide: Installation of *VANILLA* Debian 11 (or later) on a Raspberry Pi 4

... as the one you have when installing Debian from an x86 ISO on an UEFI PC. As a matter of fact, once the Debian installer starts, it will be indistinguishable ...
by user1
Sat Aug 01, 2020 7:13 pm
Forum: Advanced users
Topic: Raspberry Pi 4 can boot from GPT USB hard disk with EFI partition
Replies: 3
Views: 483

Raspberry Pi 4 can boot from GPT USB hard disk with EFI partition

... stable firmware Pi 4 can boot from USB HDD with GPT partition table and EFI System partition (ESP). Tutorial: 1 . Enable USB boot. raspi-config -> ... Using this method you can use a single USB HDD to boot both Pi 4 and a UEFI based PC.
by incognitum
Fri Jul 17, 2020 10:55 pm
Forum: Advanced users
Topic: RPi4 Netboot - DHCP option 93
Replies: 6
Views: 341

Re: RPi4 Netboot - DHCP option 93

... "ipxe boot", ipxe.pxe pxe-service=X86-64_EFI,"ipxe uefi boot", ipxe.efi
by dony71
Fri Jul 10, 2020 2:36 am
Forum: Advanced users
Topic: UEFI boot to new kernel
Replies: 3
Views: 436

Re: UEFI boot to new kernel

... 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 ...
by mindwave
Thu Jul 09, 2020 12:22 pm
Forum: Troubleshooting
Topic: I know there is a simpl answer - USB HD Question
Replies: 2
Views: 203

Re: I know there is a simpl answer - USB HD Question

... [ 0.000000] Machine model: Raspberry Pi 4 Model B Rev 1.4 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] Reserved memory: created CMA memory pool at 0x000000001ec00000, ...
by Vascko
Wed Jul 01, 2020 7:30 pm
Forum: Troubleshooting
Topic: RPI 4 boots v4.19.118-v8+ but not v5.4.49-v8+
Replies: 2
Views: 141

RPI 4 boots v4.19.118-v8+ but not v5.4.49-v8+

... [ 0.000000] Machine model: Raspberry Pi 4 Model B Rev 1.2 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 64 MiB at 0x000000003a000000 [ 0.000000] random: ...
by philipmather
Mon Jun 29, 2020 10:13 pm
Forum: Advanced users
Topic: UEFI boot to new kernel
Replies: 3
Views: 436

UEFI boot to new kernel

... 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, ...
by n2kra
Wed Jun 17, 2020 11:30 am
Forum: Plan 9
Topic: uefi | efi ?
Replies: 1
Views: 529

Re: uefi | efi ?

... file (partion) on Huge Pi4 mem, with accellerated X (render?) I saw an efi directory in the plan 9 front partition? I'm familiar familiar with rEFIt ... this sub forum? https://www.raspberrypi.org/forums/search.php?keywords=uefi+%7C+efi Will an efi boot manager help with USB device boot? Pinn or ...
by n2kra
Sun Jun 14, 2020 2:05 pm
Forum: Plan 9
Topic: uefi | efi ?
Replies: 1
Views: 529

uefi | efi ?

I saw an efi directory in the plan 9 front partition? I'm familiar familiar with rEFIt on a Mac / ... efi mention in this sub forum? https://www.raspberrypi.org/forums/search.php?keywords=uefi+%7C+efi Will an efi boot manager help with USB device boot? Pinn or Noobs lite? Raspbian ...
by udance4ever
Mon May 25, 2020 6:58 am
Forum: Raspberry Pi Desktop for PC and Mac
Topic: Debian Pi Desktop - cd-rom not found when using a USB drive
Replies: 5
Views: 1555

Re: Debian Pi Desktop - cd-rom not found when using a USB drive

... the USB stick using Etcher and not only did the HP laptop have a new UEFI entry to boot into my USB stuck (before I had to manually chose the .efi file), it passed the cdrom “check” and used the USB media to find its files. It’s still ...
by beldzhang
Wed Apr 29, 2020 3:10 am
Forum: Other projects
Topic: pxe server on raspi 4
Replies: 5
Views: 1857

Re: pxe server on raspi 4

... machines # # x86 pc, BIOS bios-x86 = netboot.xyz.kpxe # x86-64 pc, UEFI, Secure-Boot MUST disabled uefi-amd64 = netboot.xyz.efi # # iPXE boot url # ipxe-url = http://boot.netboot.xyz
by nayabsd
Sun Apr 12, 2020 3:24 pm
Forum: Advanced users
Topic: Mounted root filesystem using NFS hangs at /sbin/init
Replies: 14
Views: 567

Mounted root filesystem using NFS hangs at /sbin/init

... gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined MESS:00:00:02.081288:0: gpioman: gpioman_get_pin_num: pin DISPLAY_DSI_PORT ... B [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 8 MiB at 0x0000000007800000 [ 0.000000] ...
by nayabsd
Fri Apr 10, 2020 12:49 pm
Forum: Troubleshooting
Topic: Linux kenel stuck at 'uart: Baud rate'
Replies: 11
Views: 386

Re: Linux kenel stuck at 'uart: Baud rate'

... gpioman: gpioman_get_pin_num: pin LEDS_PWR_OK not defined MESS:00:00:02.421069:0: gpioman: gpioman_get_pin_num: pin DISPLAY_DSI_PORT ... 1.2 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 8 MiB at 0x0000000007400000 [ 0.000000] ...
by Vascko
Mon Apr 06, 2020 2:53 am
Forum: Advanced users
Topic: PXE bootstrapping RPI3B+ and RPI4B
Replies: 15
Views: 967

Re: PXE bootstrapping RPI3B+ and RPI4B

... UTC 2020 [ 0.000000] Machine model: Raspberry Pi 4 Model B [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: EFI v2.80 by Das U-Boot ... 1.2 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. <... snip ...> [ 0.000000] Kernel command line: coherent_pool=1M ...
by Vascko
Sun Apr 05, 2020 11:26 pm
Forum: Advanced users
Topic: PXE bootstrapping RPI3B+ and RPI4B
Replies: 15
Views: 967

Re: PXE bootstrapping RPI3B+ and RPI4B

... [ 0.000000] Machine model: Raspberry Pi 4 Model B Rev 1.2 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. <.....snip.....> [ 25.043933] raspberrypi-clk raspberrypi-clk: Failed to get ...
by Vascko
Sun Apr 05, 2020 9:29 pm
Forum: Advanced users
Topic: PXE bootstrapping RPI3B+ and RPI4B
Replies: 15
Views: 967

Re: PXE bootstrapping RPI3B+ and RPI4B

... [ 0.000000] Machine model: Raspberry Pi 4 Model B Rev 1.2 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 96 MiB at 0x00000000f6000000 [ 0.000000] NUMA: No ...
by xfarre
Wed Mar 25, 2020 6:17 pm
Forum: Troubleshooting
Topic: USB bus died?
Replies: 9
Views: 833

Re: USB bus died?

... Pi 4 Model B Rev 1.1 Mar 25 18:10:26 raspberrypi kernel: [ 0.000000] efi: Getting EFI parameters from FDT: Mar 25 18:10:26 raspberrypi systemd[1]: ... Random Seed... Mar 25 18:10:26 raspberrypi kernel: [ 0.000000] efi: UEFI not found. Mar 25 18:10:26 raspberrypi kernel: [ 0.000000] cma: Reserved ...
by xfarre
Wed Mar 25, 2020 6:17 pm
Forum: Troubleshooting
Topic: USB bus died?
Replies: 9
Views: 833

Re: USB bus died?

... Pi 4 Model B Rev 1.1 Mar 25 18:10:26 raspberrypi kernel: [ 0.000000] efi: Getting EFI parameters from FDT: Mar 25 18:10:26 raspberrypi kernel: [ 0.000000] efi: UEFI not found. Mar 25 18:10:26 raspberrypi kernel: [ 0.000000] cma: Reserved 256 MiB at ...
by bvsrkrao
Fri Jan 03, 2020 2:02 pm
Forum: Beginners
Topic: How to run UEFI image on raspberry Pi3
Replies: 0
Views: 278

How to run UEFI image on raspberry Pi3

We downloaded Andrew Lampone lampone_master and successfully build the uefi image RPI_EFI.fd (rpi_fw/Build/RPi3/DEBUG_GCC5/FV/RPI_EFI.fd) we copied the image to SD card boot partition and modified the config.txt to include kernel=RPI_EFI.fd arm_control=0x200 ...
by rpdom
Mon Oct 21, 2019 4:17 pm
Forum: Raspberry Pi OS
Topic: STICKY: Raspbian 'Buster' 2019-06-20 / 07-10
Replies: 145
Views: 64281

Re: STICKY: Raspbian 'Buster' 2019-06-20 / 07-10

... with the Pi 3 and 4's ARMv8 processors and with u-boot to emulate UEFI and GRUB2 as a EFI bootloader, not many changes should really be required to get Debian ...
by ChasTech
Mon Oct 21, 2019 2:45 pm
Forum: Raspberry Pi OS
Topic: STICKY: Raspbian 'Buster' 2019-06-20 / 07-10
Replies: 145
Views: 64281

Re: STICKY: Raspbian 'Buster' 2019-06-20 / 07-10

... with the Pi 3 and 4's ARMv8 processors and with u-boot to emulate UEFI and GRUB2 as a EFI bootloader, not many changes should really be required to get Debian ...
by sakaki
Sat Oct 19, 2019 11:58 am
Forum: Gentoo
Topic: Bootable 64-bit Gentoo image for the RPi4 released (Xfce4 desktop)
Replies: 53
Views: 23732

Re: Bootable 64-bit Gentoo image for the RPi4 released (Xfce4 desktop)

... here . Screenshot (showing, per the instructions just linked, an Ubuntu Server 18.04.1 LTS cloud image, running under KVM (and booted on TianoCore UEFI) on Gentoo): https://raw.githubusercontent.com/sakaki-/resources/master/raspberrypi/pi3/kvm-bionic-vnc.png (NB the above was taken on an RPi 3 ...
by gordanb
Sun Oct 13, 2019 10:00 pm
Forum: Advanced users
Topic: Network Booting and Kernels
Replies: 18
Views: 1399

Re: Network Booting and Kernels

... certainly in embedded systems you won't find anything as ludicrous as UEFI. And u-boot has implemented EFI for some years now. I'm rejecting your assertion that UEFI ...
by ehem
Wed Sep 18, 2019 1:53 am
Forum: Debian
Topic: Guide: Installation of *VANILLA* Debian 10.0 or later on Pi 3B/3B+
Replies: 27
Views: 13436

Re: Guide: Installation of *VANILLA* Debian 10.0 or later on Pi 3B/3B+

... filed a bug with Debian about multiboot.mod is missing from grub-efi-arm64-bin. This does answer the question, running Xen on a Raspberry ... I think the Raspberry PI Foundation investing a bit of engineer time on UEFI for the Raspberry PI 4 would be time well-spent. As you've noted being ...
by Akeo
Sun Sep 15, 2019 6:10 pm
Forum: Debian
Topic: Guide: Installation of *VANILLA* Debian 10.0 or later on Pi 3B/3B+
Replies: 27
Views: 13436

Re: Guide: Installation of *VANILLA* Debian 10.0 or later on Pi 3B/3B+

... outputs (since I have GRUB configured to output to serial as well as EFI console. Note that you'll need yet to be released UEFI Firmware v1.6 for that to work), here's what I get after selecting Debian GNU/Linux, with ...

Go to advanced search