Page Menu
Home
FreeBSD
Search
Configure Global Search
Log In
Paste
P707
EFI Boot Manager and Lua
Active
Public
Actions
Authored by
stephane.rochoy_stormshield.eu
on Fri, Apr 10, 1:12 PM.
Edit Paste
Archive Paste
View Raw File
Subscribe
Mute Notifications
Flag For Later
Award Token
Tags
None
Referenced Files
F151768667: EFI Boot Manager and Lua
Fri, Apr 10, 1:12 PM
2026-04-10 13:12:56 (UTC+0)
Subscribers
None
Consoles: EFI console
Reading loader env vars from /efi/freebsd/loader.env
Setting currdev to disk0p3:
FreeBSD/amd64 EFI loader, Revision 3.0
(Wed Apr 8 14:56:04 CEST 2026 stephaner@sns-ci-main.delta-amd64.labo.int)
Command line arguments: loader.efi
Image base: 0x6d355000
EFI version: 2.80
EFI Firmware: American Megatrends (rev 5.27)
Console: efi (0x1000)
Load Path: \EFI\BOOT\efibootmgrmenu.efi
Load Device: PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)/HD(3,MBR,0x90909090,0x267FE9,0x32000)
BootCurrent: 0005
BootOrder: 0008 0005[*] 0001 0004 0002 0000 0003 0007
package.path: /EFI/FreeBSD/lua/?.lua
-- test-lefi
-- test-lefi-bootmgr
419 handles
efi.handle: 0x6b20bb58
Device Path: PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)
Unit: 0
2 partitions
Partitions:
[1] Device Path: PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)/HD(2,MBR,0x90909090,0x10419,0x257BD0)
Unit: 2
Parent: efi.pdinfo: 0x6b20c0d8, PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)
[2] Device Path: PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)/HD(3,MBR,0x90909090,0x267FE9,0x32000)
Unit: 3
Parent: efi.pdinfo: 0x6b20c468, PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)
efi.handle: 0x6b20c578
Device Path: PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)/HD(2,MBR,0x90909090,0x10419,0x257BD0)
Unit: 2
Parent: efi.pdinfo: 0x6b215198, PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)
efi.handle: 0x6b2153a8
Device Path: PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)/HD(3,MBR,0x90909090,0x267FE9,0x32000)
Unit: 3
Parent: efi.pdinfo: 0x6b215538, PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)
efi.handle: 0x6b215808
Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
Unit: 1
6 partitions
Partitions:
[1] Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(1,GPT,7DCD7161-CECA-11F0-8F93-000DB42C8588,0x800,0x200000)
Unit: 1
Parent: efi.pdinfo: 0x6b2160b8, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
[2] Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(2,GPT,7E0028DD-CECA-11F0-8F93-000DB42C8588,0x200800,0x100)
Unit: 2
Parent: efi.pdinfo: 0x6b216428, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
[3] Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(3,GPT,7E058A2E-CECA-11F0-8F93-000DB42C8588,0x201000,0x200000)
Unit: 3
Parent: efi.pdinfo: 0x6b216828, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
[4] Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(4,GPT,7E15E2B7-CECA-11F0-8F93-000DB42C8588,0x401000,0x32000)
Unit: 4
Parent: efi.pdinfo: 0x6b216ca8, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
[5] Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(5,GPT,7E25D696-CECA-11F0-8F93-000DB42C8588,0x433000,0x1000800)
Unit: 5
Parent: efi.pdinfo: 0x6b2170f8, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
[6] Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(6,GPT,7E3DBF7A-CECA-11F0-8F93-000DB42C8588,0x1433800,0x926000)
Unit: 6
Parent: efi.pdinfo: 0x6b217548, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
efi.handle: 0x6b2177e8
Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(1,GPT,7DCD7161-CECA-11F0-8F93-000DB42C8588,0x800,0x200000)
Unit: 1
Parent: efi.pdinfo: 0x6b217aa8, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
efi.handle: 0x6b217e48
Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(2,GPT,7E0028DD-CECA-11F0-8F93-000DB42C8588,0x200800,0x100)
Unit: 2
Parent: efi.pdinfo: 0x6b218058, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
efi.handle: 0x6b2183f8
Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(3,GPT,7E058A2E-CECA-11F0-8F93-000DB42C8588,0x201000,0x200000)
Unit: 3
Parent: efi.pdinfo: 0x6b218618, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
efi.handle: 0x6b218918
Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(4,GPT,7E15E2B7-CECA-11F0-8F93-000DB42C8588,0x401000,0x32000)
Unit: 4
Parent: efi.pdinfo: 0x6b218c68, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
efi.handle: 0x6b218ed8
Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(5,GPT,7E25D696-CECA-11F0-8F93-000DB42C8588,0x433000,0x1000800)
Unit: 5
Parent: efi.pdinfo: 0x6b2190f8, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
efi.handle: 0x6b219498
Device Path: PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(6,GPT,7E3DBF7A-CECA-11F0-8F93-000DB42C8588,0x1433800,0x926000)
Unit: 6
Parent: efi.pdinfo: 0x6b2196b8, PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
efi.handle: 0x6b219a58
Device Path: PciRoot(0x0)/Pci(0x1C,0x6)/Pci(0x0,0x0)/NVMe(0x1,3D-2A-7F-40-8B-44-1B-00)
Unit: 2
1 partitions
Partitions:
[1] Device Path: PciRoot(0x0)/Pci(0x1C,0x6)/Pci(0x0,0x0)/NVMe(0x1,3D-2A-7F-40-8B-44-1B-00)/HD(1,GPT,7E5B4705-CECA-11F0-8F93-000DB42C8588,0x800,0x9E5F800)
Unit: 1
Parent: efi.pdinfo: 0x6b219f68, PciRoot(0x0)/Pci(0x1C,0x6)/Pci(0x0,0x0)/NVMe(0x1,3D-2A-7F-40-8B-44-1B-00)
efi.handle: 0x6b21a198
Device Path: PciRoot(0x0)/Pci(0x1C,0x6)/Pci(0x0,0x0)/NVMe(0x1,3D-2A-7F-40-8B-44-1B-00)/HD(1,GPT,7E5B4705-CECA-11F0-8F93-000DB42C8588,0x800,0x9E5F800)
Unit: 1
Parent: efi.pdinfo: 0x6b21a5a8, PciRoot(0x0)/Pci(0x1C,0x6)/Pci(0x0,0x0)/NVMe(0x1,3D-2A-7F-40-8B-44-1B-00)
Found 3 disks:
disk0 = PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)
disk1 = PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)
disk2 = PciRoot(0x0)/Pci(0x1C,0x6)/Pci(0x0,0x0)/NVMe(0x1,3D-2A-7F-40-8B-44-1B-00)
Found 9 partitions:
Partitions:
disk0 < PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)/HD(2,MBR,0x90909090,0x10419,0x257BD0)
HD: HD(2,MBR,0x90909090,0x10419,0x257BD0)
disk0 < PciRoot(0x0)/Pci(0xD,0x0)/USB(0x1,0x0)/HD(3,MBR,0x90909090,0x267FE9,0x32000)
HD: HD(3,MBR,0x90909090,0x267FE9,0x32000)
disk1 < PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(1,GPT,7DCD7161-CECA-11F0-8F93-000DB42C8588,0x800,0x200000)
HD: HD(1,GPT,7DCD7161-CECA-11F0-8F93-000DB42C8588,0x800,0x200000)
disk1 < PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(2,GPT,7E0028DD-CECA-11F0-8F93-000DB42C8588,0x200800,0x100)
HD: HD(2,GPT,7E0028DD-CECA-11F0-8F93-000DB42C8588,0x200800,0x100)
disk1 < PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(3,GPT,7E058A2E-CECA-11F0-8F93-000DB42C8588,0x201000,0x200000)
HD: HD(3,GPT,7E058A2E-CECA-11F0-8F93-000DB42C8588,0x201000,0x200000)
disk1 < PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(4,GPT,7E15E2B7-CECA-11F0-8F93-000DB42C8588,0x401000,0x32000)
HD: HD(4,GPT,7E15E2B7-CECA-11F0-8F93-000DB42C8588,0x401000,0x32000)
disk1 < PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(5,GPT,7E25D696-CECA-11F0-8F93-000DB42C8588,0x433000,0x1000800)
HD: HD(5,GPT,7E25D696-CECA-11F0-8F93-000DB42C8588,0x433000,0x1000800)
disk1 < PciRoot(0x0)/Pci(0x1A,0x0)/eMMC(0x0)/Ctrl(0x0)/HD(6,GPT,7E3DBF7A-CECA-11F0-8F93-000DB42C8588,0x1433800,0x926000)
HD: HD(6,GPT,7E3DBF7A-CECA-11F0-8F93-000DB42C8588,0x1433800,0x926000)
disk2 < PciRoot(0x0)/Pci(0x1C,0x6)/Pci(0x0,0x0)/NVMe(0x1,3D-2A-7F-40-8B-44-1B-00)/HD(1,GPT,7E5B4705-CECA-11F0-8F93-000DB42C8588,0x800,0x9E5F800)
HD: HD(1,GPT,7E5B4705-CECA-11F0-8F93-000DB42C8588,0x800,0x9E5F800)
BootCurrent: 0005
Timeout: 5 seconds
BootOrder: 0008,0005,0001,0004,0002,0000,0003,0007,
Load Option Boot0008
Attributes: 0x0001<ACTIVE,>
Category: Boot
Description: "UEFI OS"
Device Path:
[1] ACPI(subtype=0x1,...)
[2] Pci(...)
[3] MSG(subtype=0x5,...)
[4] HD(3,MBR,0x90909090,0x267fe9,0x32000)
currdev: disk0s3a
[5] File(\EFI\BOOT\BOOTX64.EFI)
Load Option Boot0005
Attributes: 0x0001<ACTIVE,>
Category: Boot
Description: "EFI Boot Manager Menu"
Device Path:
[1] HD(3,MBR,0x90909090,0x267fe9,0x32000)
currdev: disk0s3a
[2] File(\EFI\BOOT\efibootmgrmenu.efi)
Load Option Boot0001
Attributes: 0x0001<ACTIVE,>
Category: Boot
Description: "UEFI OS"
Device Path:
[1] HD(4,GPT,7e15e2b7-ceca-11f0-8f93-000db42c8588,0x401000,0x32000)
currdev: disk1p4
[2] File(\EFI\BOOT\BOOTX64.EFI)
Load Option Boot0004
Attributes: 0x0001<ACTIVE,>
Category: Boot
Description: "BACKUP"
Device Path:
[1] HD(4,GPT,7e15e2b7-ceca-11f0-8f93-000db42c8588,0x401000,0x32000)
currdev: disk1p4
[2] File(\EFI\BOOT\backup.efi)
Load Option Boot0002
Attributes: 0x0001<ACTIVE,>
Category: Boot
Description: "MAIN"
Device Path:
[1] HD(4,GPT,7e15e2b7-ceca-11f0-8f93-000db42c8588,0x401000,0x32000)
currdev: disk1p4
[2] File(\EFI\BOOT\main.efi)
Load Option Boot0000
Attributes: 0x0009<ACTIVE,HIDDEN,>
Category: Boot
Description: "TEST"
Device Path:
[1] VenHw(...)
Load Option Boot0003
Attributes: 0x0009<ACTIVE,HIDDEN,>
Category: Boot
Description: "debian"
Device Path:
[1] VenHw(...)
Load Option Boot0007
Attributes: 0x0009<ACTIVE,HIDDEN,>
Category: Boot
Description: "Shell"
Device Path:
[1] VenHw(...)
--
can't load 'kernel'
Type '?' for a list of commands, 'help' for more detailed help.
OK
Event Timeline
stephane.rochoy_stormshield.eu
created this paste.
Fri, Apr 10, 1:12 PM
2026-04-10 13:12:56 (UTC+0)
stephane.rochoy_stormshield.eu
created this object in space
S1 Global
.
stephane.rochoy_stormshield.eu
mentioned this in
D55936: loader.efi: Build a boot menu based on UEFI boot manager
.
Fri, Apr 10, 1:53 PM
2026-04-10 13:53:52 (UTC+0)
Log In to Comment