Go to advanced search

by ehem
Thu Sep 12, 2019 8:58 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+

... we are able to perform this above is because we finally have a full UEFI firmware for the 3B/3B+ , and because the Debian ISOs, be it for x86 or ARM64, are pretty ...
by gilius2k15
Sun Sep 01, 2019 8:40 pm
Forum: Ubuntu
Topic: Ubuntu 19.10 for the Raspberry Pi 4 with a KVM-enabled kernel & Windows 10 guest
Replies: 36
Views: 33665

Re: Ubuntu 19.10 for the Raspberry Pi 4 with a KVM-enabled kernel & Windows 10 guest

... insider.vhdx in Disk Management) clean convert gpt create partition efi size=124 format fs=fat32 assign letter s create partition primary format ... /index:1 /applydir:W: bcdboot W:\Windows /s s: /f UEFI bcdedit /store s:\EFI\Microsoft\Boot\bcd /set {default} testsigning ...
by gilius2k15
Fri Aug 30, 2019 9:03 pm
Forum: Ubuntu
Topic: Ubuntu 19.10 for the Raspberry Pi 4 with a KVM-enabled kernel & Windows 10 guest
Replies: 36
Views: 33665

Re: Ubuntu 19.10 for the Raspberry Pi 4 with a KVM-enabled kernel & Windows 10 guest

... VHDX in disk management) clean convert gpt create partition efi size=124 format fs=fat32 assign letter s create partition primary format ... /index:1 /applydir:W: bcdboot W:\Windows /s s: /f UEFI bcdedit /store s:\EFI\Microsoft\Boot\bcd /set {default} testsigning ...
by Akeo
Thu Aug 29, 2019 1:06 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+

... based on free space is bad because it will complain it can't find the Uefi parition then later grub will fail to install and I guess the only way ... where your "source CDROM" is), because it detected that it booted in UEFI mode, it will of course use UEFI defaults, and either create a new GPT ...
by gilius2k15
Mon Aug 26, 2019 11:35 pm
Forum: Ubuntu
Topic: Ubuntu 19.10 for the Raspberry Pi 4 with a KVM-enabled kernel & Windows 10 guest
Replies: 36
Views: 33665

Re: Ubuntu 19.10 for the Raspberry Pi 4 with a KVM-enabled kernel & Windows 10 guest

... This is the Linaro UEFI bios that exists as a single file - but can be converted to two flash0 ... VHDX in disk management) clean convert gpt create partition efi size=124 format fs=fat32 assign letter s create partition primary size=13000 ...
by Akeo
Wed Aug 21, 2019 12:59 pm
Forum: Debian
Topic: Guide: Installation of *VANILLA* Debian 10.0 or later on Pi 3B/3B+
Replies: 27
Views: 13436

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

... as the one you have when installing Debian from an x86 ISO on an UEFI PC. You will also end up with everything you'd expect to see from a ... remounted when locating the non-free firmware files or when setting up /efi/boot. With regards to fixing the partitioning if you don't see B K ESP ...
by necrose99
Mon Aug 12, 2019 6:38 am
Forum: Gentoo
Topic: 64-bit Gentoo Running on RPi4! (First Boot / Proof of Concept)
Replies: 40
Views: 21212

Re: 64-bit Gentoo Running on RPi4! (First Boot / Proof of Concept)

... me. https://www.cnx-software.com/2016/08/11/u-boot-now-supports-uefi-on-32-bit-and-64-bit-arm-platforms/ https://stackoverflow.com/questions/31704102/how-can-i-choose-different-device-trees-from-inside-u-boot-for-the-linux-kernel ...
by o635789
Sun Aug 11, 2019 6:26 pm
Forum: Gentoo
Topic: 64-bit Gentoo Running on RPi4! (First Boot / Proof of Concept)
Replies: 40
Views: 21212

Re: 64-bit Gentoo Running on RPi4! (First Boot / Proof of Concept)

... on... ie nas binhost... I however, would like to rig Uboot, and Grub2 UEFI.. Compiled ... wala.. (Uboot for RPI3/4/Rockpro64/rock64/others RPI, ... /uboot fat , config/s dts for rpi's or rock64 types.. ---> grub2aarch64.efi /boot/efi/ and Grub2 etc /boot/ kernels or etc here.. grub2 boot default ...
by necrose99
Thu Aug 08, 2019 3:38 pm
Forum: Gentoo
Topic: 64-bit Gentoo Running on RPi4! (First Boot / Proof of Concept)
Replies: 40
Views: 21212

Re: 64-bit Gentoo Running on RPi4! (First Boot / Proof of Concept)

... on... ie nas binhost... I however, would like to rig Uboot, and Grub2 UEFI.. Compiled ... wala.. (Uboot for RPI3/4/Rockpro64/rock64/others RPI, ... /uboot fat , config/s dts for rpi's or rock64 types.. ---> grub2aarch64.efi /boot/efi/ and Grub2 etc /boot/ kernels or etc here.. grub2 boot default ...
by geev03
Wed Aug 07, 2019 4:26 pm
Forum: Other
Topic: Alpine Linux ARM32 & ARM64
Replies: 10
Views: 6261

Re: Alpine Linux 3.8.0 ARM32 & ARM64

... [ 0.000000] Machine model: Raspberry Pi 3 Model B Rev 1.2 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 8 MiB at 0x000000003ac00000 [ 0.000000] On node 0 ...
by ghans
Mon Jul 15, 2019 5:03 am
Forum: Bare metal, Assembly language
Topic: Kernel switcher... kernel?
Replies: 4
Views: 1885

Re: Kernel switcher... kernel?

The Raspberry Pi does not support UEFI out-of-the-box. What people (or companies like Microsoft and SuSE) have been doing is to replace the ...
by technix
Thu Jul 04, 2019 5:54 am
Forum: Advanced users
Topic: Does the Pi support booting from GPT drives?
Replies: 26
Views: 3754

Re: Does the Pi support booting from GPT drives?

It's not a big problem. The standard EFI / EFI System Partition stuff is way to complicated and cluttered for the Raspberry ... is supposed to be FAT32 formatted anyway, so this is where Pi boot process and UEFI standard converge. Once that partition is found it treats it as if it is the ...
by sakaki
Fri Feb 22, 2019 5:29 pm
Forum: Advanced users
Topic: 4.19 kernel 64 bit support - please report issues here
Replies: 53
Views: 16075

Re: 4.19 kernel 64 bit support - please report issues here

... Machine model: Raspberry Pi 3 Model B Plus Rev 1.3 [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 256 MiB at 0x000000001ec00000 [ 0.000000] On node ...
by code_exec
Fri Feb 22, 2019 8:48 am
Forum: Other
Topic: Windows 10 ARM64 (Dekstop, not IOT)
Replies: 52
Views: 51261

Re: Windows 10 ARM64 (Dekstop, not IOT)

The Pi has no UEFI, you must provide your own UEFI firmware such as TianoCore UEFI. I wonder if u-boot would work for Windows 10 ARM. It is a third-party bootloader for the Raspberry Pi which emulates UEFI and can therefore execute EFI binaries.
by thagrol
Wed Feb 06, 2019 12:38 pm
Forum: General discussion
Topic: usb_mass_storage
Replies: 13
Views: 1465

Re: usb_mass_storage

The EFI partition is to do with UEFI boot. The Pi doesn't support that. It's probably safe to just ignore that partition.

See https://en.wikipedia.org/wiki/EFI_system_partition for more.
by SirSkorpan
Sat Dec 29, 2018 4:37 pm
Forum: Official Foundation Display
Topic: Stop auto switching from DSI to HDMI at login, missing drivers or settings?
Replies: 2
Views: 1689

Stop auto switching from DSI to HDMI at login, missing drivers or settings?

... MST 2018 [ 0.000000] Machine model: Raspberry Pi 3 Model B [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 64 MiB at 0x0000000037400000 [ 0.000000] On node ...
by sakaki
Mon Oct 08, 2018 7:39 pm
Forum: General discussion
Topic: Run another OS on your RPi3 as a virtualized QEMU guest under KVM (64-bit)
Replies: 3
Views: 11042

Re: Run another OS on your RPi3 as a virtualized QEMU guest under KVM (64-bit)

... Hint: if this fails with an exception, simply issue "pkill qemu" from another window and try again.This happens sometimes when booting the UEFI firmware. This is almost the same as last time, but with two changes: We have allocated more memory (384MiB vs 256MiB) to the guest, a bare minimum ...
by sakaki
Thu Oct 04, 2018 1:34 pm
Forum: General discussion
Topic: Run another OS on your RPi3 as a virtualized QEMU guest under KVM (64-bit)
Replies: 3
Views: 11042

Run another OS on your RPi3 as a virtualized QEMU guest under KVM (64-bit)

... beaver') (cloud images are deliberately minimal, so well suited for our needs); virtualizer: app-emulation/qemu-3.0.0 BIOS: tianocore aarch64 EFI; cores: 2 out of the 4 available; memory: 256 MiB memory allocation (from the RPi3's 1GiB); console-only setup, no graphics, SPICE etc. (easy to ...
by vegz78
Fri Sep 21, 2018 9:19 am
Forum: Raspberry Pi Desktop for PC and Mac
Topic: [SOLVED] x86 RPi Desktop portable installation, not live
Replies: 5
Views: 4501

Re: [SOLVED] x86 RPi Desktop portable installation, not live

... and portable non-live x86 RPi Desktop bootable on most computers(BIOS&UEFI), I've now installed all the programs I need and use often. This USB ... setup), where I don't have to copy vmlinuz and initrd.img to /boot/efi(Every time the kernel is updated), I would be happy if they posted some ...
by satadru
Thu Aug 16, 2018 4:34 pm
Forum: Other
Topic: Linux Kernel 4.18 incl Pi3 and 3B+ support
Replies: 3
Views: 5960

Re: Linux Kernel 4.18 incl Pi3 and 3B+ support

... system on the Pi 3b+. (I'm booting that with the 64-bit Tiano Core UEFI for the Raspberry Pi 3 EFi from https://github.com/andreiw/RaspberryPiPkg/tree/master/Binary/prebuilt/2018Jul9-GCC5/RELEASE ...
by GloomyGhost
Sat May 19, 2018 7:03 am
Forum: Other
Topic: Install Windows 10 Arm For Raspberrypi 3B
Replies: 1
Views: 7574

Install Windows 10 Arm For Raspberrypi 3B

... is not too large. It can be used near 100M. It is used to store UEFI and windows boot files. The file system is formatted with fat. Second ... as yours!!) bcdboot X:\Windows /s Y: /f UEFI /l bcdedit /store Y:\efi\microsoft\boot\bcd /set {Default} testsigning on bcdedit /store Y:\efi\microsoft\boot\bcd ...
by dylan1280
Tue Apr 24, 2018 2:55 pm
Forum: Linux Kernel
Topic: Interrupt differences between 32-bit and 64-bit kernels
Replies: 4
Views: 9303

Interrupt differences between 32-bit and 64-bit kernels

... [ 0.000000] Machine model: Raspberry Pi 3 Model B [ 0.000000] efi: Getting EFI parameters from FDT: [ 0.000000] efi: UEFI not found. [ 0.000000] cma: Reserved 8 MiB at 0x000000003a400000 [ 0.000000] On node 0 ...
by vegz78
Sun Jan 28, 2018 11:16 am
Forum: Raspberry Pi Desktop for PC and Mac
Topic: [SOLVED] x86 RPi Desktop portable installation, not live
Replies: 5
Views: 4501

[Solution] - Re: x86 RPi Desktop portable installation, not live

... of Debian x86 with RPi to work on a 16 GB USB stick with both UEFI/EFI and BIOS/Legacy booting, and a data partition for carrying files on the USB stick, ...
by beta-tester
Sun Jun 25, 2017 1:13 pm
Forum: Raspberry Pi Desktop for PC and Mac
Topic: STICKY: X86 Debian Jessie with PIXEL desktop for PC and Mac (obsolete)
Replies: 231
Views: 160787

Re: Debian Jessie with PIXEL desktop i386 for PC and Mac

... currently there are only sections for pxe-service=x86PC, \"PXE Boot Menu (BIOS 00:00)\", $DST_PXE_BIOS/pxelinux pxe-service=6, \"PXE Boot Menu (UEFI 00:06)\", $DST_PXE_EFI32/syslinux pxe-service=x86-64_EFI, \"PXE Boot Menu (UEFI 00:07)\", $DST_PXE_EFI64/syslinux pxe-service=9, \"PXE Boot Menu ...
by ghans
Fri May 05, 2017 8:49 am
Forum: Beginners
Topic: BerryBoot alternatives
Replies: 17
Views: 7131

Re: BerryBoot alternatives

Perhaps one should also look into the various TianoCore ports/BSPs for the Pi since
they might provide a more complete and correct UEFI implementation than the
u-boot based EFI "hack".

https://github.com/b-man/RaspberryPiPkg
https://github.com/ms-iot/RPi-UEFI

ghans

Go to advanced search