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 0004FDB6000 start failed: 00000001
Error: Image at 0004FD6D000 start failed: Not Found
Error: Image at 0004FCBA000 start failed: Unsupported
Error: Image at 0004FC3F000 start failed: Not Found
Error: Image at 0004FB65000 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=0x0000000000011018 declared=0x0000000000011018 read=0x0000000000011018 PASS
TURKOS/UEFI-KERNEL-HASH: expected=473bce20720135cc77d62d0e92f6461af442c9a84887a926ffdc7f6eb9779b1f actual=473bce20720135cc77d62d0e92f6461af442c9a84887a926ffdc7f6eb9779b1f PASS
TURKOS/UEFI-DTB-SOURCE: QEMU-RAM
TURKOS/UEFI-DTB: phys=0x0000000040000000 bytes=0x0000000000100000
TURKOS/UEFI-DTB-COPY: phys=0x000000004c54b000 bytes=0x0000000000100000 PASS
TURKOS/UEFI-KERNEL-STAGE: phys=0x0000000040080000 file=0x0000000000011018 memory=0x000000000002c020 dtb=0x000000004c54b000 dtb-bytes=0x0000000000100000 PASS
TURKOS/UEFI-BOOTINFO-PAGE: phys=0x000000004cb40000 bytes=0x0000000000001000 RESERVED
TURKOS/UEFI-BOOTINFO-MAP-PAGE: phys=0x000000004c53b000 bytes=0x0000000000010000 RESERVED
TURKOS/UEFI-MAP-COPY: bytes=0x0000000000000690 descriptor=0x0000000000000030 version=0x0000000000000001 digest=0x3a91bba43ae84263
TURKOS/UEFI-EXIT: attempt=0x0000000000000001 bytes=0x0000000000000690 before=0x3a91bba43ae84263 after=0x3a91bba43ae84263 PASS
TURKOS/UEFI-BOOTINFO-HANDOFF: phys=0x000000004cb40000 map=0x000000004c53b000 bytes=0x0000000000000690 PASS
TURKOS/BOOT0: ARM64 kernel entered
TURKOS/OS/K625: ENTRY EL=0x0000000000000004 DAIF=0x00000000000003c0 SP=0x0000000040094470 START=0x0000000040092000 TOP=0x0000000040096000 PASS
TURKOS/OS/K625: SYNTHETIC-EL2 REJECTED
TURKOS/OS/K630: BSS-ZERO 4096 PASS
TURKOS/OS/K630: SYNTHETIC-DATA-TEXT-OVERLAP REJECTED
TURKOS/OS/K630: SECTIONS TEXT=0x0000000040081000 TEXT-END=0x000000004008f000 RODATA-END=0x0000000040091000 BSS-START=0x0000000040091020 BSS-END=0x00000000400ac020 PASS
TURKOS/EL: 1
TURKOS/DTB: 0x000000004c54b000
TURKOS/UART: 0x0000000009000000
TURKOS/RAM: 0x0000000040000000+0x0000000010000000
TURKOS/OS/K610: ENTER BEFORE-ALLOC
TURKOS/OS/K610: INPUT DTB=0x000000004c54b000 BYTES=0x0000000000100000 X1=0x000000004cb40000
TURKOS/OS/K610: VALIDATED source=uefi-bootinfo-v1 HEADER=72 BEFORE-ALLOC
TURKOS/OS/K605: ENTER BEFORE-ALLOC
TURKOS/OS/K605: INPUT DTB=0x000000004c54b000 BYTES=0x0000000000100000 X1=0x000000004cb40000
TURKOS/OS/K605: VALIDATED source=uefi-bootinfo-v1 RAM=0x0000000040000000+0x0000000010000000 BEFORE-ALLOC
TURKOS/BOOTINFO: phys=0x000000004cb40000 map=0x000000004c53b000 bytes=0x0000000000000690 descriptors=0x0000000000000023 loader-data=0x0000000000000003 PASS
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000040000000 END=0x0000000040080000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000002 START=0x0000000040080000 END=0x00000000400ad000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x00000000400ad000 END=0x0000000044000000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000044000000 END=0x0000000044020000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000044020000 END=0x0000000047666000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000047666000 END=0x0000000047687000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000003 START=0x0000000047687000 END=0x00000000476cc000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x00000000476cc000 END=0x0000000047eea000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000003 START=0x0000000047eea000 END=0x0000000047ef2000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000047ef2000 END=0x0000000047ff3000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000003 START=0x0000000047ff3000 END=0x0000000047ffa000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000047ffa000 END=0x0000000048000000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000048000000 END=0x000000004c53b000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000002 START=0x000000004c53b000 END=0x000000004c64b000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000001 START=0x000000004c64b000 END=0x000000004c770000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x000000004c770000 END=0x000000004c7f0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000006 START=0x000000004c7f0000 END=0x000000004c960000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x000000004c960000 END=0x000000004c9b0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000006 START=0x000000004c9b0000 END=0x000000004ca50000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x000000004ca50000 END=0x000000004cb40000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000002 START=0x000000004cb40000 END=0x000000004cb41000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000009 START=0x000000004cb41000 END=0x000000004cb44000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x000000004cb44000 END=0x000000004ea65000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x000000004ea65000 END=0x000000004ea66000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x000000004ea66000 END=0x000000004ea68000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x000000004ea68000 END=0x000000004fa38000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x000000004fa38000 END=0x000000004fb94000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000003 START=0x000000004fb94000 END=0x000000004fe20000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x000000004fe20000 END=0x000000004feb0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x000000004feb0000 END=0x000000004fec0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000006 START=0x000000004fec0000 END=0x000000004ffe0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x000000004ffe0000 END=0x000000004ffff000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x000000004ffff000 END=0x0000000050000000
TURKOS/EFI-DESCRIPTOR: TYPE=0x000000000000000b START=0x0000000004000000 END=0x0000000008000000
TURKOS/EFI-DESCRIPTOR: TYPE=0x000000000000000b START=0x0000000009010000 END=0x0000000009011000
TURKOS/GICD: 0x0000000008000000
TURKOS/GICR: 0x00000000080a0000
TURKOS/TIMER-PPI: 0x000000000000001e
TURKOS/IRQ-MASK: ON
TURKOS/STATIC-RESERVATIONS: 0x0000000000000000
TURKOS/OS/K620: POST-EXIT-SERVICE REJECTED
TURKOS/OS/K620: OWNED-MAP source=0x000000004c53b000 copy=0x000000004009b010 bytes=0x0000000000000690 BEFORE-ALLOC
TURKOS/OS/K620: SOURCE-MUTATION COPY-STABLE PASS
TURKOS/OS/K615: SYNTHETIC-PAYLOAD-IMAGE-OVERLAP REJECTED
TURKOS/OS/K615: RESERVED owners=0x0000000000000005 pages=0x000000000000013f denied=0x000000000000013f FREE=0x000000000000dc01 PASS
TURKOS/EFI-FREEMAP: CONVENTIONAL-ONLY PASS
TURKOS/FREE-RANGES: 0x0000000000000009
TURKOS/FREE-RANGE: INDEX=0x0000000000000000 START=0x0000000040000000 END=0x0000000040080000
TURKOS/FREE-RANGE: INDEX=0x0000000000000001 START=0x00000000400ae000 END=0x0000000044000000
TURKOS/FREE-RANGE: INDEX=0x0000000000000002 START=0x0000000044020000 END=0x0000000047666000
TURKOS/FREE-RANGE: INDEX=0x0000000000000003 START=0x0000000048000000 END=0x000000004c53b000
TURKOS/FREE-RANGE: INDEX=0x0000000000000004 START=0x000000004cb44000 END=0x000000004ea65000
TURKOS/FREE-RANGE: INDEX=0x0000000000000005 START=0x000000004ea66000 END=0x000000004ea68000
TURKOS/FREE-RANGE: INDEX=0x0000000000000006 START=0x000000004fa38000 END=0x000000004fb94000
TURKOS/FREE-RANGE: INDEX=0x0000000000000007 START=0x000000004feb0000 END=0x000000004fec0000
TURKOS/FREE-RANGE: INDEX=0x0000000000000008 START=0x000000004ffe0000 END=0x000000004ffff000
TURKOS/FREE-PAGES: 0x000000000000dc01
TURKOS/FRAME-ADDRESS: 0x0000000040000000
TURKOS/FRAME-COUNT: 0x0000000000000010
TURKOS/FRAME-EDGE: PASS
TURKOS/FRAME-DOUBLE-FREE: ADDRESS=0x0000000040000000 BEFORE=0x000000000000dc01 AFTER=0x000000000000dc01 RECLAIMED=0x0000000000000010 RESULT=PASS
TURKOS/FRAME-ACCOUNT: BEFORE=0x000000000000dc01 AFTER=0x000000000000dc01
TURKOS/FRAME-TEST: PASS
TURKOS/MMU-LINKER: TEXT-START=0x0000000040081000 TEXT-END=0x000000004008f000 RODATA-END=0x0000000040091000
TURKOS/MMU-TABLE-ACCOUNT: BEFORE=0x000000000000dc01 AFTER=0x000000000000dbfc COUNT=0x0000000000000005
TURKOS/MMU-ROOT: 0x0000000040000000
TURKOS/MMU-TABLES: 0x0000000000000005
TURKOS/MMU-BLOCKS: 0x000000000000007f
TURKOS/MMU-PRE-ENABLE: PASS
TURKOS/MMU: ON
TURKOS/MMU-TTBR0: 0x0000000040000000
TURKOS/MMU-MAIR: 0x00000000000000ff
TURKOS/MMU-TCR: 0x0000000200803519
TURKOS/MMU-VBAR: 0x0000000040081800
TURKOS/MMU-SP: 0x00000000400938a0
TURKOS/MMU-DTB: PASS
TURKOS/MMU-FRAME-COUNT: 0x0000000000000010
TURKOS/MMU-FRAME: PASS
TURKOS/MMU-DATA-WRITE: PASS
TURKOS/IRQ-DEFAULT-DAIF: 0x00000000000003c0
TURKOS/OS/K630: RODATA-RO DATA-RW PASS
TURKOS/OS/K630: RO-LEAF=0x0000000040004478 VALUE=0x006000004008f783 DATA-LEAF=0x0000000040004488 VALUE=0x0060000040091703 PASS
TURKOS/MMU-NORMAL: PASS
TURKOS/OS/K605: PASS
TURKOS/OS/K610: PASS
TURKOS/OS/K615: PASS
TURKOS/OS/K620: PASS
TURKOS/OS/K625: PASS
TURKOS/OS/K630: PASS