UEFI firmware (version edk2-stable202408-prebuilt.qemu.org built at 16:28:50 on Sep 12 2024)
ArmTrngLib could not be correctly initialized.
Error: Image at 0005FDB6000 start failed: 00000001
Error: Image at 0005FD6D000 start failed: Not Found
Error: Image at 0005FCBA000 start failed: Unsupported
Error: Image at 0005FC3F000 start failed: Not Found
Error: Image at 0005FB65000 start failed: Aborted
Tpm2SubmitCommand - Tcg2 - Not Found
Tpm2GetCapabilityPcrs fail!
Tpm2SubmitCommand - Tcg2 - Not Found
[=3h[=3hBdsDxe: loading Boot0001 "UEFI Misc Device" from PciRoot(0x0)/Pci(0x1,0x0)
ConvertPages: failed to find range 140000000 - 140124FFF
BdsDxe: starting Boot0001 "UEFI Misc Device" from PciRoot(0x0)/Pci(0x1,0x0)
TURKOS/UEFI-ENTRY: PASS
TURKOS/UEFI-KERNEL-FILE: expected=0x000000000001d338 declared=0x000000000001d338 read=0x000000000001d338 PASS
TURKOS/UEFI-KERNEL-HASH: expected=108eecbefeb817e410a2b40fcffc8ef4440e1528702d218d842cc2e75dae67c4 actual=108eecbefeb817e410a2b40fcffc8ef4440e1528702d218d842cc2e75dae67c4 PASS
TURKOS/UEFI-DTB-SOURCE: QEMU-RAM
TURKOS/UEFI-DTB: phys=0x0000000040000000 bytes=0x000000000000898c
TURKOS/UEFI-DTB-COPY: phys=0x000000005c642000 bytes=0x000000000000898c PASS
TURKOS/UEFI-KERNEL-STAGE: phys=0x0000000040080000 file=0x000000000001d338 memory=0x000000000003eaf0 dtb=0x000000005c642000 dtb-bytes=0x000000000000898c PASS
TURKOS/UEFI-BOOTINFO-PAGE: phys=0x000000005cb40000 bytes=0x0000000000001000 RESERVED
TURKOS/UEFI-BOOTINFO-MAP-PAGE: phys=0x000000005c632000 bytes=0x0000000000010000 RESERVED
TURKOS/UEFI-MAP-COPY: bytes=0x0000000000000690 descriptor=0x0000000000000030 version=0x0000000000000001 digest=0x7a0fa94b5b1ef8b2
TURKOS/UEFI-EXIT: attempt=0x0000000000000001 bytes=0x0000000000000690 before=0x7a0fa94b5b1ef8b2 after=0x7a0fa94b5b1ef8b2 PASS
TURKOS/UEFI-BOOTINFO-HANDOFF: phys=0x000000005cb40000 map=0x000000005c632000 bytes=0x0000000000000690 PASS
TURKOS/OS/K640: ARGUMENTS witness-x0=0x000000005c642000 witness-x1=0x000000005cb40000 observed-x0=0x000000005c642000 observed-x1=0x000000005cb40000
TURKOS/OS/K640: SYNTHETIC-X1-CLOBBER REJECTED RECORDS=0
TURKOS/OS/K640: LOADER-EQUAL source=UEFI RECORDS=1 REGIONS-ADOPTED=0 PASS
TURKOS/BOOT0: ARM64 kernel entered
TURKOS/OS/K625: ENTRY EL=0x0000000000000004 DAIF=0x00000000000003c0 SP=0x00000000400a18a0 START=0x000000004009f000 TOP=0x00000000400a3000 PASS
TURKOS/OS/K625: SYNTHETIC-EL2 REJECTED
TURKOS/OS/K635: STACK GUARD=0x000000004009e000 START=0x000000004009f000 TOP=0x00000000400a3000 SP=0x00000000400a18a0 PASS
TURKOS/OS/K635: BOOT-CANARY PAIR PASS
TURKOS/OS/K635: SYNTHETIC-GUARD-ACCESS REJECTED OWNER=BOOT-CPU0 IMAGE-PAGES=5 ALLOCATOR-PAGES=0 UNCHANGED
TURKOS/OS/K630: BSS-ZERO 4096 PASS
TURKOS/OS/K630: SYNTHETIC-DATA-TEXT-OVERLAP REJECTED
TURKOS/OS/K630: SECTIONS TEXT=0x0000000040081000 TEXT-END=0x0000000040099000 RODATA-END=0x000000004009d000 BSS-START=0x000000004009d340 BSS-END=0x00000000400beaf0 PASS
TURKOS/EL: 1
TURKOS/DTB: 0x000000005c642000
TURKOS/UART: 0x0000000009000000
TURKOS/RAM: 0x0000000040000000+0x0000000020000000
TURKOS/OS/K610: ENTER BEFORE-ALLOC
TURKOS/OS/K610: INPUT DTB=0x000000005c642000 BYTES=0x000000000000898c X1=0x000000005cb40000
TURKOS/OS/K610: VALIDATED source=uefi-bootinfo-v1 HEADER=72 BEFORE-ALLOC
TURKOS/OS/K605: ENTER BEFORE-ALLOC
TURKOS/OS/K605: INPUT DTB=0x000000005c642000 BYTES=0x000000000000898c X1=0x000000005cb40000
TURKOS/OS/K605: VALIDATED source=uefi-bootinfo-v1 RAM=0x0000000040000000+0x0000000020000000 BEFORE-ALLOC
TURKOS/OS/K680: REJECTED reason=diagnostics-missing-boot-id BEFORE-ALLOC