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 00057DB6000 start failed: 00000001
Error: Image at 00057D6D000 start failed: Not Found
Error: Image at 00057CBA000 start failed: Unsupported
Error: Image at 00057C3F000 start failed: Not Found
Error: Image at 00057B65000 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=0x0000000000053778 declared=0x0000000000053778 read=0x0000000000053778 PASS
TURKOS/UEFI-KERNEL-HASH: expected=ab15e12c9d240afcbb025e5bab88dab6cd5cab56904e023634b5108256fe85d2 actual=ab15e12c9d240afcbb025e5bab88dab6cd5cab56904e023634b5108256fe85d2 PASS
TURKOS/UEFI-DTB-SOURCE: QEMU-RAM
TURKOS/UEFI-DTB: phys=0x0000000040000000 bytes=0x0000000000008c90
TURKOS/UEFI-DTB-COPY: phys=0x0000000054642000 bytes=0x0000000000008c90 PASS
TURKOS/UEFI-KERNEL-STAGE: phys=0x0000000040080000 file=0x0000000000053778 memory=0x000000000012bb20 dtb=0x0000000054642000 dtb-bytes=0x0000000000008c90 PASS
TURKOS/UEFI-BOOTINFO-PAGE: phys=0x0000000054b40000 bytes=0x0000000000001000 RESERVED
TURKOS/UEFI-BOOTINFO-MAP-PAGE: phys=0x0000000054632000 bytes=0x0000000000010000 RESERVED
TURKOS/UEFI-MAP-COPY: bytes=0x0000000000000660 descriptor=0x0000000000000030 version=0x0000000000000001 digest=0xfda3b5491de226d0
TURKOS/UEFI-EXIT: attempt=0x0000000000000001 bytes=0x0000000000000660 before=0xfda3b5491de226d0 after=0xfda3b5491de226d0 PASS
TURKOS/UEFI-BOOTINFO-HANDOFF: phys=0x0000000054b40000 map=0x0000000054632000 bytes=0x0000000000000660 PASS
TURKOS/OS/K640: ARGUMENTS witness-x0=0x0000000054642000 witness-x1=0x0000000054b40000 observed-x0=0x0000000054642000 observed-x1=0x0000000054b40000
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=0x00000000400d78a0 START=0x00000000400d5000 TOP=0x00000000400d9000 PASS
TURKOS/OS/K625: SYNTHETIC-EL2 REJECTED
TURKOS/OS/K635: STACK GUARD=0x00000000400d4000 START=0x00000000400d5000 TOP=0x00000000400d9000 SP=0x00000000400d78a0 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=0x00000000400c9000 RODATA-END=0x00000000400d3000 BSS-START=0x00000000400d3780 BSS-END=0x00000000401abb20 PASS
TURKOS/EL: 1
TURKOS/DTB: 0x0000000054642000
TURKOS/OS/PLATFORM: CPU-SNAPSHOT PFR0=0x1101000010110011 MMFR0=0x000010000f100022 CNTFRQ=0x00000000016e3600 CURRENT-EL=0x0000000000000004
TURKOS/OS/PLATFORM: TREE BYTES=0x0000000000008c90 NODES=0x000000000000003c DEPTH=0x0000000000000006 PROPERTIES=0x00000000000000ec REFERENCES=0x0000000000000006 BOUNDED PASS
TURKOS/OS/PLATFORM: BANK INDEX=0x0000000000000000 START=0x0000000040000000 END=0x0000000058000000
TURKOS/OS/PLATFORM: BANK INDEX=0x0000000000000001 START=0x0000000058000000 END=0x0000000060000000
TURKOS/OS/PLATFORM: CPU PFR0=0x1101000010110011 MMFR0=0x000010000f100022 CNTFRQ=0x00000000016e3600 REQUIRED=0x000000000000002f AVAILABLE=0x000000000000002f PA-BITS=0x0000000000000028 PASS
TURKOS/OS/PLATFORM: SYNTHETIC-MISSING-SIMD UNKNOWN-REQUIREMENT REJECTED OWNER=UNCHANGED
TURKOS/UART: 0x0000000009000000
TURKOS/RAM: 0x0000000040000000+0x0000000020000000
TURKOS/OS/K610: ENTER BEFORE-ALLOC
TURKOS/OS/K610: INPUT DTB=0x0000000054642000 BYTES=0x0000000000008c90 X1=0x0000000054b40000
TURKOS/OS/K610: VALIDATED source=uefi-bootinfo-v1 HEADER=72 BEFORE-ALLOC
TURKOS/OS/K605: ENTER BEFORE-ALLOC
TURKOS/OS/K605: INPUT DTB=0x0000000054642000 BYTES=0x0000000000008c90 X1=0x0000000054b40000
TURKOS/OS/K605: VALIDATED source=uefi-bootinfo-v1 RAM=0x0000000040000000+0x0000000020000000 BEFORE-ALLOC
TURKOS/DIAG boot=0x495e0c5d585a52fa seq=0x0000000000000000 service=boot event=entered
TURKOS/OS/K665: FIXTURE BOOT-ID=0x495e0c5d585a52fa DTB=0x0000000054642000
TURKOS/BOOTINFO: phys=0x0000000054b40000 map=0x0000000054632000 bytes=0x0000000000000660 descriptors=0x0000000000000022 loader-data=0x0000000000000003 PASS
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000040000000 END=0x0000000040080000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000002 START=0x0000000040080000 END=0x00000000401ac000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x00000000401ac000 END=0x0000000044000000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000044000000 END=0x0000000044020000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000044020000 END=0x000000004775e000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x000000004775e000 END=0x000000004777f000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000003 START=0x000000004777f000 END=0x00000000477c4000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x00000000477c4000 END=0x0000000047fe2000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000003 START=0x0000000047fe2000 END=0x0000000047fea000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000047fea000 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=0x0000000054632000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000002 START=0x0000000054632000 END=0x000000005464b000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000001 START=0x000000005464b000 END=0x0000000054770000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x0000000054770000 END=0x00000000547f0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000006 START=0x00000000547f0000 END=0x0000000054960000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x0000000054960000 END=0x00000000549b0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000006 START=0x00000000549b0000 END=0x0000000054a50000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x0000000054a50000 END=0x0000000054b40000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000002 START=0x0000000054b40000 END=0x0000000054b41000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000009 START=0x0000000054b41000 END=0x0000000054b44000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000054b44000 END=0x0000000056a68000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000056a68000 END=0x0000000057a38000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000057a38000 END=0x0000000057b94000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000003 START=0x0000000057b94000 END=0x0000000057e20000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000005 START=0x0000000057e20000 END=0x0000000057eb0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000057eb0000 END=0x0000000057ec0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000006 START=0x0000000057ec0000 END=0x0000000057fe0000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000057fe0000 END=0x0000000057fff000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000004 START=0x0000000057fff000 END=0x0000000058000000
TURKOS/EFI-DESCRIPTOR: TYPE=0x0000000000000007 START=0x0000000058000000 END=0x0000000060000000
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: 0x0000000000000001
TURKOS/OS/K620: POST-EXIT-SERVICE REJECTED
TURKOS/OS/K620: OWNED-MAP source=0x0000000054632000 copy=0x00000000400de010 bytes=0x0000000000000660 BEFORE-ALLOC
TURKOS/OS/K705: SYNTHETIC-UNKNOWN-FIRMWARE-TYPE REJECTED BEFORE-ALLOC
TURKOS/OS/PLATFORM: FREE-MAP DTB-BANKS FIRMWARE-INTERSECTION HOLES-WITHHELD PASS
TURKOS/OS/K620: SOURCE-MUTATION COPY-STABLE PASS
TURKOS/OS/K615: SYNTHETIC-PAYLOAD-IMAGE-OVERLAP REJECTED
TURKOS/OS/K615: RESERVED owners=0x0000000000000005 pages=0x0000000000000147 denied=0x0000000000000147 FREE=0x000000000001dac3 PASS
TURKOS/OS/K705: DTB-FIRMWARE-INTERSECTION FINAL-FREE-MAP-EQUAL BEFORE-ALLOC PASS
TURKOS/EFI-FREEMAP: CONVENTIONAL-ONLY PASS
TURKOS/FREE-RANGES: 0x0000000000000007
TURKOS/FREE-RANGE: INDEX=0x0000000000000000 START=0x0000000040000000 END=0x0000000040080000
TURKOS/FREE-RANGE: INDEX=0x0000000000000001 START=0x00000000401ad000 END=0x0000000044000000
TURKOS/FREE-RANGE: INDEX=0x0000000000000002 START=0x0000000044020000 END=0x000000004775e000
TURKOS/FREE-RANGE: INDEX=0x0000000000000003 START=0x0000000048000000 END=0x0000000054632000
TURKOS/FREE-RANGE: INDEX=0x0000000000000004 START=0x0000000054b44000 END=0x0000000056a68000
TURKOS/FREE-RANGE: INDEX=0x0000000000000005 START=0x0000000057a38000 END=0x0000000057b94000
TURKOS/FREE-RANGE: INDEX=0x0000000000000006 START=0x0000000058200000 END=0x0000000060000000
TURKOS/FREE-PAGES: 0x000000000001dac3
TURKOS/FRAME-ADDRESS: 0x0000000040000000
TURKOS/FRAME-COUNT: 0x0000000000000010
TURKOS/FRAME-EDGE: PASS
TURKOS/FRAME-DOUBLE-FREE: ADDRESS=0x0000000040000000 BEFORE=0x000000000001dac3 AFTER=0x000000000001dac3 RECLAIMED=0x0000000000000010 RESULT=PASS
TURKOS/FRAME-ACCOUNT: BEFORE=0x000000000001dac3 AFTER=0x000000000001dac3
TURKOS/FRAME-TEST: PASS
TURKOS/OS/K645: STAGE BOOT UART=1
TURKOS/OS/K645: SYNTHETIC-SCHEDULER-BEFORE-MEMORY REJECTED
TURKOS/OS/K645: STAGE MEMORY ALLOCATOR=1
TURKOS/MMU-LINKER: TEXT-START=0x0000000040081000 TEXT-END=0x00000000400c9000 RODATA-END=0x00000000400d3000
TURKOS/MMU-TABLE-ACCOUNT: BEFORE=0x000000000001dac3 AFTER=0x000000000001daba COUNT=0x0000000000000009
TURKOS/MMU-ROOT: 0x0000000040000000
TURKOS/MMU-TABLES: 0x0000000000000009
TURKOS/MMU-BLOCKS: 0x00000000000000fd
TURKOS/MMU-PRE-ENABLE: PASS
TURKOS/MMU: ON
TURKOS/MMU-TTBR0: 0x0000000040000000
TURKOS/MMU-MAIR: 0x00000000000000ff
TURKOS/MMU-TCR: 0x0000000200803519
TURKOS/MMU-VBAR: 0x0000000040082000
TURKOS/MMU-SP: 0x00000000400d6fe0
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=0x0000000040004648 VALUE=0x00600000400c9783 DATA-LEAF=0x0000000040004698 VALUE=0x00600000400d3703 PASS
TURKOS/OS/K635: LIVE-SP=0x00000000400d6f50 CANARY=0x4b3633355354414b PASS
TURKOS/OS/K635: GUARD-UNMAPPED=0x00000000400d4000 DESCRIPTOR=0 TLBI=COMPLETE PASS
TURKOS/OS/K635: OWNERSHIP IMAGE-PAGES=5 ALLOCATOR-PAGES=0 FREE-BEFORE=0x000000000001daba FREE-AFTER=0x000000000001daba TABLE-FRAMES=0x0000000000000009 UNCHANGED PASS
TURKOS/OS/PLATFORM: GIC-READBACK MASKED SRE=0x0000000000000007 CTLR=0x0000000000040400 PLATFORM-INTERFACE PASS
TURKOS/OS/PLATFORM: DEVICE UART ADDRESS=0x0000000009000000 NODE=0x000000000000002d REG-OFFSET=0x0000000000001974 DTB-BOUND PASS
TURKOS/OS/PLATFORM: DEVICE GICD ADDRESS=0x0000000008000000 NODE=0x000000000000002f REG-OFFSET=0x0000000000001a1c DTB-BOUND PASS
TURKOS/OS/PLATFORM: DEVICE GICR ADDRESS=0x00000000080a0000 NODE=0x000000000000002f REG-OFFSET=0x0000000000001a2c DTB-BOUND PASS
TURKOS/OS/PLATFORM: DEVICE TIMER PPI=0x000000000000001e NODE=0x0000000000000038 INTERRUPTS-OFFSET=0x0000000000001c94 DTB-BOUND PASS
TURKOS/OS/PLATFORM: ALLOC BANK=0x0000000000000000 ENDPOINT=0x0000000000000000 FRAME=0x0000000040009000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: ALLOC BANK=0x0000000000000000 ENDPOINT=0x0000000000000001 FRAME=0x0000000057b93000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: ALLOC BANK=0x0000000000000001 ENDPOINT=0x0000000000000000 FRAME=0x0000000058200000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: ALLOC BANK=0x0000000000000001 ENDPOINT=0x0000000000000001 FRAME=0x000000005ffff000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: HOLE START=0x0000000057e00000 END=0x0000000058200000 ALLOC=OUTSIDE-AUTHORITY TRANSLATION=UNMAPPED OWNER=UNCHANGED PASS
TURKOS/OS/PLATFORM: OWNERSHIP FREE-BEFORE=0x000000000001daba FREE-AFTER=0x000000000001daba UNCHANGED PASS
TURKOS/OS/K650: DUPLICATE-ALLOCATOR REJECTED OWNER-PRESERVED
TURKOS/OS/K655: NEGATIVE-PROBE-IN-PRODUCT REJECTED
TURKOS/OS/K645: STAGE IRQ GIC-PPI=30 INSTALLED
TURKOS/OS/K660: SYNTHETIC-LIVE-DMA REJECTED FRAME-RETAINED
TURKOS/OS/K660: FAILED-TASK-INIT ROLLBACK FRAME-ACCOUNT-PRESERVED
TURKOS/OS/K645: STAGE TASKS SCHEDULER=1
TURKOS/OS/K655: MANIFEST K660:ACCEPTANCE:PROBES=07
TURKOS/OS/K645: LIVE TIMER-DELIVERIES=4 TASK-PROGRESS=0x000000000000101c FREE-PAGES=0x000000000001dab9 TASK-FRAME=0x0000000040009000 GIC-ENABLE=0x0000000040000000
TURKOS/OS/K645: PASS
TURKOS/OS/K650: PASS
TURKOS/OS/K655: PASS
TURKOS/OS/K660: PASS
TURKOS/OS/K665: STALE-BOOT REJECTED STATE-STABLE
TURKOS/OS/K680: SECRET HOST-PATH REGISTERS REJECTED STATE-STABLE
TURKOS/OS/K675: INVALID-FAR REJECTED STATE-STABLE
TURKOS/OS/K670: UART-NOT-READY BOUNDED REENTRY-SILENT PASS
TURKOS/DIAG boot=0x495e0c5d585a52fa seq=0x0000000000000001 service=diagnostics event=ready
TURKOS/DIAG boot=0x495e0c5d585a52fa seq=0x0000000000000002 service=tasks context=process task=0x0000000000000001 slot=0x0000000000000008 esr=0x0000000092000007 elr-kind=user-va elr=0x0000000080000008 far-kind=user-va far=0x0000000080002000 registers=REDACTED
TURKOS/OS/K675: REAL-EL0-TRANSLATION-FAULT TASK-REAPED SIX-FRAMES-RESTORED
TURKOS/OS/K645: LIVE TIMER-DELIVERIES=4 TASK-PROGRESS=0x00000000000020f6 FREE-PAGES=0x000000000001dab9 TASK-FRAME=0x0000000040009000 GIC-ENABLE=0x0000000040000000
TURKOS/OS/K675: KERNEL-SURVIVED REPLACEMENT-TASK-TIMER-PROGRESS PASS
TURKOS/OS/K665: PASS
TURKOS/OS/K670: PASS
TURKOS/OS/K675: PASS
TURKOS/OS/K680: PASS
TURKOS/OS/PLATFORM: GIC-INTERFACE SRE=0x0000000000000007 CTLR=0x0000000000040400 IRQ-DELIVERIES=0x0000000000000008 REAL PASS
TURKOS/OS/K685: PASS
TURKOS/OS/K690: PASS
TURKOS/OS/K695: PASS
TURKOS/OS/K700: LOCAL-CPU-GUEST PASS M1-FRESH-IMAGE=PENDING
TURKOS/OS/K730: FAILED-BORROW-SETUP REJECTED OWNER-INVENTORY-STABLE
TURKOS/OS/K725: STALE-HANDLE FOREIGN-OWNER REJECTED LIVE-PAGE-PRESERVED
TURKOS/OS/K730: TWO-EL0-CONSUMERS SAME-PHYSICAL-PAGE 4096-ZERO PASS
TURKOS/OS/K735: TWO-PINS LAST-UNPIN SINGLE-RELEASE OVERFLOW DOUBLE-UNPIN REJECTED
TURKOS/OS/K730: REAL-PARTIAL-ERASURE REJECTED CENTRAL-INVENTORY-RESTORED
TURKOS/OS/K740: ENOSPC BEFORE-ALLOC AUTHORITY-METADATA-TABLE-INVENTORY RESTORED
TURKOS/OS/K725: PASS
TURKOS/OS/K730: PASS
TURKOS/OS/K735: PASS
TURKOS/OS/K740: PASS
TURKOS/OS/BUDDY: ORDER=0x0000000000000000 ADDRESS=0x0000000040020000 PAGES=0x0000000000000001 REAL-OWNED-CANARY PASS
TURKOS/OS/BUDDY: ORDER=0x0000000000000001 ADDRESS=0x0000000040022000 PAGES=0x0000000000000002 REAL-OWNED-CANARY PASS
TURKOS/OS/BUDDY: ORDER=0x0000000000000002 ADDRESS=0x0000000040024000 PAGES=0x0000000000000004 REAL-OWNED-CANARY PASS
TURKOS/OS/BUDDY: ORDER=0x0000000000000003 ADDRESS=0x0000000040028000 PAGES=0x0000000000000008 REAL-OWNED-CANARY PASS
TURKOS/OS/BUDDY: SPLIT 8=4+4 EXACT DUPLICATE-CHILD REJECTED OWNER=UNCHANGED PASS
TURKOS/OS/BUDDY: MERGE FREE-SAME-ORDER LIVE-BUDDY REJECTED LARGE8-RESTORED PASS
TURKOS/OS/BUDDY: FRAGMENT FREE4 LIVE4 CONTIGUOUS8=ENOSPC SCATTER=NEVER EXACT-INVENTORY UNCHANGED PASS
TURKOS/OS/BUDDY: CENTRAL TYPED-PAGE-LEASES ALL-RETURNED EXACT-INVENTORY UNCHANGED PASS
TURKOS/OS/K745: PASS
TURKOS/OS/K750: PASS
TURKOS/OS/K755: PASS
TURKOS/OS/K760: PASS
TURKOS/DIAG boot=0x495e0c5d585a52fa seq=0x0000000000000003 service=memory event=rejected
TURKOS/OS/K765: SLAB24 SLAB64 SLAB128 REAL-OWNED BYTE-CANARIES PASS
TURKOS/OS/K770: LARGE8192 CONTIGUOUS OWNED-BLOCK EXACT-INVENTORY PASS
TURKOS/OS/K775: FOREIGN INTERIOR STALE DOUBLE-FREE REJECTED EXACT-INVENTORY UNCHANGED PASS
TURKOS/OS/K780: FULL-BUDDY8 FULL-METADATA16 BOUNDED-DIAGNOSTIC HELD-LOCK REAL-IRQ4 WOULD-BLOCK4 ZERO-ACQUIRES PASS
TURKOS/OS/K765: PASS
TURKOS/OS/K770: PASS
TURKOS/OS/K775: PASS
TURKOS/OS/K780: PASS
TURKOS/OS/K740: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K790: QUEUE=0x0000000000000000 RX WAITING-HOST-FRAME
TURKOS/OS/K800: CAPTURE STAGE=0x0000000000000001 GATE=0x000000004012d288 READY
TURKOS/OS/K790: REAL-COMPLETION QUEUE=0x0000000000000000 USED=1 ID=0 PACKET=60 RESET-CPU-READBACK=0 QUEUE-READY=0 UNPINNED=4 RELEASED=4 PASS
TURKOS/OS/K790: QUEUE=0x0000000000000001 TX WAITING-USED
TURKOS/OS/K800: CAPTURE STAGE=0x0000000000000002 GATE=0x000000004012d288 READY
TURKOS/OS/K790: REAL-COMPLETION QUEUE=0x0000000000000001 USED=1 ID=0 PACKET=60 RESET-CPU-READBACK=0 QUEUE-READY=0 UNPINNED=4 RELEASED=4 PASS
TURKOS/OS/K785: DEVICE-QUEUE-BOUND REAL-REGISTRY-PINS WRONG-QUEUE BOUNDS OVERFLOW ORDINARY-FREE-REFUSED PASS
TURKOS/OS/K790: REAL-VIRTIO RX TX PUBLISH-DMB-OSHST CONSUME-DMB-OSHLD PASS
TURKOS/OS/K795: VOLATILE-CPU-STATUS QUEUE-READY RESET-READBACK BEFORE-UNPIN DSB-SY PASS
TURKOS/OS/K800: LOCAL-GUEST PASS K700-FRESH-M1=PENDING PHYSICAL-NONCOHERENT-CACHE=PENDING
TURKOS/OS/K800: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K805: SECOND-TABLE-ENOSPC NO-PUBLISHED-PREFIX FAILED-ROLLBACK-HANDLE-RETAINED RETRY-RESTORED PASS
TURKOS/OS/K810: REAL-EL0 RX-CODE-WRITE RW-DATA-EXECUTE PERMISSION-FAULTS KERNEL-RECOVERED PASS
TURKOS/OS/K815: ACTUAL-FOUR-LEVEL OWNED-TABLE-WALK KNOWN-VA-TO-PA PASS
TURKOS/OS/K820: CAPTURE OWNED-TABLES
TURKOS/OS/K820: DETACH DSB-TLBI-DSB-ISB BEFORE-RECLAIM ACTIVE-TTBR-FREE-REFUSED EXACT-AUTHORITY-RESTORED PASS
TURKOS/OS/K805: PASS
TURKOS/OS/K815: PASS
TURKOS/OS/K820: PASS
TURKOS/OS/K840: CAPTURE STAGE=0x0000000000000001 GATE=0x000000004015d000 READY
TURKOS/OS/K840: CAPTURE STAGE=0x0000000000000002 GATE=0x000000004015d000 READY
TURKOS/OS/K830: REAL-EL0 A-B-A DISTINCT-ROOTS DISTINCT-ASIDS FULL4096-ISOLATION PASS
TURKOS/OS/K840: CAPTURE STAGE=0x0000000000000003 GATE=0x000000004015d000 READY
TURKOS/OS/K825: REAL-ROOT-ENOSPC ATOMIC-ID-ASID-UNREGISTERED EXACT-AUTHORITY-RESTORED PASS
TURKOS/OS/K835: REAL-TARGETED-ASIDE1IS CHECKED-GENERATION OLD-ROOT-RETAINED NEW-PHYSICAL-DATA ZERO4096 PASS
TURKOS/OS/K840: REAL-EL0 SHARED-KERNEL-AND-MMIO PERMISSION-FAULTS EXACT-AUTHORITY-RESTORED PASS
TURKOS/OS/K840: EMPTY-HISTORY-GENERATION-EXHAUSTION CONTROL RETIRED-BEFORE-ACQUIRE PASS
TURKOS/OS/K825: PASS
TURKOS/OS/K830: PASS
TURKOS/OS/K835: PASS
TURKOS/OS/K840: PASS
TURKOS/OS/K820: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000001 GATE=0x0000000040169a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000002 GATE=0x0000000040169a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000003 GATE=0x0000000040169a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000004 GATE=0x0000000040169a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000005 GATE=0x0000000040169a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000006 GATE=0x0000000040169a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000007 GATE=0x0000000040169a20 READY
TURKOS/OS/K845: THIRD-PAGE-CONFLICT TWO-ABSENT-PREFIX-PAGES REAL-EL0 OLD-ROOT-UNCHANGED PASS
TURKOS/OS/K850: PRIVATE-COMPLETE-DRAFT ACTUAL-OWNED-TABLE-POOL-ENOSPC NO-VISIBLE-PREFIX OLD-RW-SURVIVES PASS
TURKOS/OS/K855: MIDDLE-UNMAP BOTH-ENDPOINTS-READABLE GUARD-ZERO-BACKING FOREIGN-OWNER PIN-DESTRUCTIVE-REFUSAL PASS
TURKOS/OS/K860: RW-RO-RX REAL-EL0 WRITE-EXECUTE-FAULTS PHYSICAL-W-X-ALIAS-REFUSED DATA-OWNERS-SURVIVE-ROOT-RETIREMENT PASS
TURKOS/OS/K860: EXACT-AUTHORITY-RESTORED OWNER-ID-GENERATION-ASID-CONSERVED TABLES-RETIRED-AFTER-TLBI PASS
TURKOS/OS/K860: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K720: MISSING-OWNER DUPLICATE-OWNER REJECTED LEDGER=UNCHANGED
TURKOS/OS/K710: EMPTY-RANGE RESERVED LIVE-TASK-RANGE REJECTED ACCOUNT=CONSERVED
TURKOS/OS/K715: BANK=0x0000000000000000 ENDPOINT=0x0000000000000000 FRAME=0x000000004000a000 ERASED=4096 CANARY=0x4b37313542414e4b RELEASED PASS
TURKOS/OS/K715: BANK=0x0000000000000000 ENDPOINT=0x0000000000000001 FRAME=0x0000000057b93000 ERASED=4096 CANARY=0x4b37313542414e4a RELEASED PASS
TURKOS/OS/K715: BANK=0x0000000000000001 ENDPOINT=0x0000000000000000 FRAME=0x0000000058200000 ERASED=4096 CANARY=0x4b37313542414e49 RELEASED PASS
TURKOS/OS/K715: BANK=0x0000000000000001 ENDPOINT=0x0000000000000001 FRAME=0x000000005ffff000 ERASED=4096 CANARY=0x4b37313542414e48 RELEASED PASS
TURKOS/OS/K705: PASS
TURKOS/OS/K710: PASS
TURKOS/OS/K715: PASS
TURKOS/OS/K720: LOCAL-GUEST PASS K700-FRESH-M1=PENDING
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
TURKOS/OS/K635: PASS
TURKOS/OS/K640: PASS