TURKOS/OS/K640: ARGUMENTS witness-x0=0x0000000048000000 witness-x1=0x0000000000000000 observed-x0=0x0000000048000000 observed-x1=0x0000000000000000
TURKOS/OS/K640: SYNTHETIC-X1-CLOBBER REJECTED RECORDS=0
TURKOS/OS/K640: LOADER-EQUAL source=DIRECT RECORDS=1 REGIONS-ADOPTED=0 PASS
TURKOS/BOOT0: ARM64 kernel entered
TURKOS/OS/K625: ENTRY EL=0x0000000000000004 DAIF=0x00000000000003c0 SP=0x00000000404798a0 START=0x0000000040477000 TOP=0x000000004047b000 PASS
TURKOS/OS/K625: SYNTHETIC-EL2 REJECTED
TURKOS/OS/K635: STACK GUARD=0x0000000040476000 START=0x0000000040477000 TOP=0x000000004047b000 SP=0x00000000404798a0 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=0x00000000402d5000 RODATA-END=0x000000004032b000 BSS-START=0x0000000040475b10 BSS-END=0x00000000406e0450 PASS
TURKOS/EL: 1
TURKOS/DTB: 0x0000000048000000
TURKOS/OS/PLATFORM: CPU-SNAPSHOT PFR0=0x1101000010110011 MMFR0=0x000010000f100022 CNTFRQ=0x00000000016e3600 CURRENT-EL=0x0000000000000004
TURKOS/OS/PLATFORM: TREE BYTES=0x0000000000008bde NODES=0x0000000000000039 DEPTH=0x0000000000000006 PROPERTIES=0x00000000000000e7 REFERENCES=0x0000000000000006 BOUNDED PASS
TURKOS/OS/PLATFORM: BANK INDEX=0x0000000000000000 START=0x0000000040000000 END=0x0000000050000000
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+0x0000000010000000
TURKOS/OS/K610: ENTER BEFORE-ALLOC
TURKOS/OS/K610: INPUT DTB=0x0000000048000000 BYTES=0x0000000000008bde X1=0x0000000000000000
TURKOS/OS/K610: VALIDATED source=direct-image HEADER=absent BEFORE-ALLOC
TURKOS/OS/K605: ENTER BEFORE-ALLOC
TURKOS/OS/K605: INPUT DTB=0x0000000048000000 BYTES=0x0000000000008bde X1=0x0000000000000000
TURKOS/OS/K605: VALIDATED source=direct-image RAM=0x0000000040000000+0x0000000010000000 BEFORE-ALLOC
TURKOS/DIAG boot=0x316fc8c0cb41f073 seq=0x0000000000000000 service=boot event=entered
TURKOS/OS/K665: FIXTURE BOOT-ID=0x316fc8c0cb41f073 DTB=0x0000000048000000
TURKOS/GICD: 0x0000000008000000
TURKOS/GICR: 0x00000000080a0000
TURKOS/TIMER-PPI: 0x000000000000001e
TURKOS/IRQ-MASK: ON
TURKOS/STATIC-RESERVATIONS: 0x0000000000000000
TURKOS/OS/K620: DIRECT-NO-FIRMWARE 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/K615: SYNTHETIC-PAYLOAD-IMAGE-OVERLAP REJECTED
TURKOS/OS/K615: RESERVED owners=0x0000000000000003 pages=0x000000000000066b denied=0x000000000000066b FREE=0x000000000000f995 PASS
TURKOS/OS/K705: DTB-FIRMWARE-INTERSECTION FINAL-FREE-MAP-EQUAL BEFORE-ALLOC PASS
TURKOS/FREE-RANGES: 0x0000000000000003
TURKOS/FREE-RANGE: INDEX=0x0000000000000000 START=0x0000000040000000 END=0x0000000040080000
TURKOS/FREE-RANGE: INDEX=0x0000000000000001 START=0x00000000406e2000 END=0x0000000048000000
TURKOS/FREE-RANGE: INDEX=0x0000000000000002 START=0x0000000048009000 END=0x0000000050000000
TURKOS/FREE-PAGES: 0x000000000000f995
TURKOS/FRAME-ADDRESS: 0x0000000040000000
TURKOS/FRAME-COUNT: 0x0000000000000010
TURKOS/FRAME-EDGE: PASS
TURKOS/FRAME-DOUBLE-FREE: ADDRESS=0x0000000040000000 BEFORE=0x000000000000f995 AFTER=0x000000000000f995 RECLAIMED=0x0000000000000010 RESULT=PASS
TURKOS/FRAME-ACCOUNT: BEFORE=0x000000000000f995 AFTER=0x000000000000f995
TURKOS/FRAME-TEST: PASS
TURKOS/OS/K645: STAGE BOOT UART=1
TURKOS/OS/K645: STAGE MEMORY ALLOCATOR=1
TURKOS/MMU-LINKER: TEXT-START=0x0000000040081000 TEXT-END=0x00000000402d5000 RODATA-END=0x000000004032b000
TURKOS/MMU-TABLE-ACCOUNT: BEFORE=0x000000000000f995 AFTER=0x000000000000f98b COUNT=0x000000000000000a
TURKOS/MMU-ROOT: 0x0000000040000000
TURKOS/MMU-TABLES: 0x000000000000000a
TURKOS/MMU-BLOCKS: 0x000000000000007c
TURKOS/MMU-PRE-ENABLE: PASS
TURKOS/MMU: ON
TURKOS/MMU-TTBR0: 0x0000000040000000
TURKOS/MMU-MAIR: 0x00000000000000ff
TURKOS/MMU-TCR: 0x0000000200803519
TURKOS/MMU-VBAR: 0x0000000040096000
TURKOS/MMU-SP: 0x0000000040478dc0
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=0x00000000400056b8 VALUE=0x00600000402d7783 DATA-LEAF=0x0000000040006398 VALUE=0x0060000040473703 PASS
TURKOS/OS/K635: LIVE-SP=0x0000000040478d30 CANARY=0x4b3633355354414b PASS
TURKOS/OS/K635: GUARD-UNMAPPED=0x0000000040476000 DESCRIPTOR=0 TLBI=COMPLETE PASS
TURKOS/OS/K635: OWNERSHIP IMAGE-PAGES=5 ALLOCATOR-PAGES=0 FREE-BEFORE=0x000000000000f98b FREE-AFTER=0x000000000000f98b TABLE-FRAMES=0x000000000000000a UNCHANGED PASS
TURKOS/OS/PLATFORM: GIC-READBACK MASKED SRE=0x0000000000000007 CTLR=0x0000000000040400 PLATFORM-INTERFACE PASS
TURKOS/OS/PLATFORM: DEVICE UART ADDRESS=0x0000000009000000 NODE=0x000000000000002a REG-OFFSET=0x000000000000181c DTB-BOUND PASS
TURKOS/OS/PLATFORM: DEVICE GICD ADDRESS=0x0000000008000000 NODE=0x000000000000002c REG-OFFSET=0x00000000000018c4 DTB-BOUND PASS
TURKOS/OS/PLATFORM: DEVICE GICR ADDRESS=0x00000000080a0000 NODE=0x000000000000002c REG-OFFSET=0x00000000000018d4 DTB-BOUND PASS
TURKOS/OS/PLATFORM: DEVICE TIMER PPI=0x000000000000001e NODE=0x0000000000000035 INTERRUPTS-OFFSET=0x0000000000001b2c DTB-BOUND PASS
TURKOS/OS/PLATFORM: ALLOC BANK=0x0000000000000000 ENDPOINT=0x0000000000000000 FRAME=0x000000004000a000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: ALLOC BANK=0x0000000000000000 ENDPOINT=0x0000000000000001 FRAME=0x000000004ffff000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: OWNERSHIP FREE-BEFORE=0x000000000000f98b FREE-AFTER=0x000000000000f98b UNCHANGED PASS
TURKOS/OS/K645: STAGE IRQ GIC-PPI=30 INSTALLED
TURKOS/OS/K645: STAGE TASKS SCHEDULER=1
TURKOS/OS/K655: MANIFEST K660:PRODUCT:PROBES=00000
TURKOS/OS/K645: LIVE TIMER-DELIVERIES=4 TASK-PROGRESS=0x0000000000001232 FREE-PAGES=0x000000000000f98a TASK-FRAME=0x000000004000a000 GIC-ENABLE=0x0000000040000000
TURKOS/OS/K660: PRODUCT-READY
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=0x316fc8c0cb41f073 seq=0x0000000000000001 service=diagnostics event=ready
TURKOS/DIAG boot=0x316fc8c0cb41f073 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=0x0000000000002436 FREE-PAGES=0x000000000000f98a TASK-FRAME=0x000000004000a000 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=0x316fc8c0cb41f073 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/K780: RETURN-POOL READY
TURKOS/OS/K790: QUEUE=0x0000000000000000 RX WAITING-HOST-FRAME
TURKOS/OS/K800: CAPTURE STAGE=0x0000000000000001 GATE=0x000000004061c290 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=0x000000004061c290 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=0x000000004064c000 READY
TURKOS/OS/K840: CAPTURE STAGE=0x0000000000000002 GATE=0x000000004064c000 READY
TURKOS/OS/K830: REAL-EL0 A-B-A DISTINCT-ROOTS DISTINCT-ASIDS FULL4096-ISOLATION PASS
TURKOS/OS/K840: CAPTURE STAGE=0x0000000000000003 GATE=0x000000004064c000 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/K840: RETURN-POOL READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000001 GATE=0x0000000040658a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000002 GATE=0x0000000040658a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000003 GATE=0x0000000040658a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000004 GATE=0x0000000040658a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000005 GATE=0x0000000040658a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000006 GATE=0x0000000040658a20 READY
TURKOS/OS/K860: CAPTURE STAGE=0x0000000000000007 GATE=0x0000000040658a20 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/K880: CAPTURE STAGE=0x0000000000000000 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000001 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000002 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000003 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000004 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000005 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000006 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000007 READY
TURKOS/OS/K880: CAPTURE STAGE=0x0000000000000008 READY
TURKOS/OS/K865: THREE-PAGE-8193-READ MISSING-LAST ZERO-KERNEL-PREFIX PASS
TURKOS/OS/K870: TWO-PAGE-WRITE RX-LAST ZERO-USER-PREFIX PASS
TURKOS/OS/K875: CROSS-PAGE-NUL 64K-ENAMETOOLONG BOUNDED-KERNEL-OUTPUT PASS
TURKOS/OS/K880: REAL-EL0-BETA-SVC UNMAP-PROTECT-FREE-BUSY LIVE-PINS FOUR-TIMER-IRQS COPY-COMPLETE EXACT-AUTHORITY-RESTORED PASS
TURKOS/OS/K880: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K880: RETURN-POOL READY
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000000
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000001
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000002
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000003
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000004
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000005
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000006
TURKOS/OS/K900: CAPTURE STAGE=0x0000000000000007
TURKOS/OS/K885: ACTUAL-LOWER-EL TRANSLATION-PERMISSION RAW-ESR-FAR-ELR FAIL-CLOSED CLASSIFICATION PASS
TURKOS/OS/K890: ACTUAL-EL0 ANONYMOUS ZERO-FIRST-ACCESS SECOND-ACCESS-NO-ALLOCATION QUOTA-ENOSPC EXACT-INVENTORY PASS
TURKOS/OS/K895: ACTUAL-EL0 ADJACENT-STACK-GROWTH GAP-HEAP-SP-REFUSED PRIVATE-COW B-UNCHANGED ENOSPC-BOTH-UNCHANGED PASS
TURKOS/OS/K900: FULL-PHYSICAL-OWNERSHIP DRAFT-PREFLIGHT DSB-TLBI-DSB-ISB BEFORE-RECLAIM EXACT-AUTHORITY-RESTORED PASS
TURKOS/OS/K900: RETURN-POOL READY
TURKOS/OS/K920: CAPTURE STAGE=0x0000000000000000 GATE=0x0000000040694bd0 READY
TURKOS/OS/K920: CAPTURE STAGE=0x0000000000000001 GATE=0x0000000040694bd0 READY
TURKOS/OS/K920: CAPTURE STAGE=0x0000000000000002 GATE=0x0000000040694bd0 READY
TURKOS/OS/K920: CAPTURE STAGE=0x0000000000000003 GATE=0x0000000040694bd0 READY
TURKOS/OS/K905: ACTUAL-VECTOR-EL-STACK SOURCES-VALIDATED PASS
TURKOS/OS/K910: FULL-FRAME GP-SIMD ACTUAL-ERET-WITNESSES PASS
TURKOS/OS/K915: ACTUAL-NESTED-TIMER BOUNDED-NESTING FATAL-CONTROLS-SEPARATE PASS
TURKOS/OS/K920: LOCAL-GUEST PASS VECTORS=16 FRAME=848 GP-SIMD-ERET NESTED-TIMER=1 RETURN-REFUSALS=8 IRQ=18 OWNERS=RESTORED SCOPE=ONE-CPU-BOOTSTRAP
TURKOS/OS/K920: RETURN-POOL READY
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000001 GATE=0x000000004069a970 READY
TURKOS/OS/K935: RX-BURST EPOCH=0x0000000000000001 WAITING-32-HOST-FRAMES
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000002 GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000003 GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000004 GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000005 GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000006 GATE=0x000000004069a970 READY
TURKOS/OS/K935: RX-BURST EPOCH=0x0000000000000002 WAITING-32-HOST-FRAMES
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000007 GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000008 GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x0000000000000009 GATE=0x000000004069a970 READY
TURKOS/OS/K940: CLOSED-SPI REAL-REASSERTION MASKED NO-DEAD-CALLBACK RESOURCES-UNCHANGED
TURKOS/OS/K940: CAPTURE STAGE=0x000000000000000a GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x000000000000000b GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x000000000000000c GATE=0x000000004069a970 READY
TURKOS/OS/K940: CAPTURE STAGE=0x000000000000000e GATE=0x000000004069a970 READY
TURKOS/OS/K925: PASS
TURKOS/OS/K930: PASS
TURKOS/OS/K935: PASS
TURKOS/OS/K940: PASS
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000000 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000001 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000002 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000003 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000004 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000005 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000006 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000007 GATE=0x00000000406a1680 READY
TURKOS/OS/K960: CAPTURE STAGE=0x0000000000000008 GATE=0x00000000406a1680 READY
TURKOS/OS/K945: PASS
TURKOS/OS/K950: PASS
TURKOS/OS/K955: PASS
TURKOS/OS/K960: PASS IRQ=5 EL0=6 CALLBACKS=4 OWNERS=RESTORED
TURKOS/OS/K980: CAPTURE STAGE=0x0000000000000000 GATE=0x00000000406a84f0 READY
TURKOS/OS/K980: CAPTURE STAGE=0x0000000000000001 GATE=0x00000000406a84f0 READY
TURKOS/OS/K980: CAPTURE STAGE=0x0000000000000002 GATE=0x00000000406a84f0 READY
TURKOS/OS/K980: CAPTURE STAGE=0x0000000000000003 GATE=0x00000000406a84f0 READY
TURKOS/OS/K980: CAPTURE STAGE=0x0000000000000004 GATE=0x00000000406a84f0 READY
TURKOS/OS/K980: CAPTURE STAGE=0x0000000000000005 GATE=0x00000000406a84f0 READY
TURKOS/OS/K965: PASS
TURKOS/OS/K970: SINGLE-CPU-RECURSION-PROBE ACTUAL-TWO-CPU-CONTENTION-PENDING
TURKOS/OS/K975: PASS
TURKOS/OS/K980: PASS IRQ=2 EL0=4 PAYLOAD=2 OWNERS=RESTORED SMP-CONTENTION-PENDING
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000000 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000001 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: RX TARGET=0x0000000000000003 EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000000 TARGET=0x0000000000000003 EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: RX TARGET=0x0000000000000004 EPOCH=0x0000000000000002 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000001 TARGET=0x0000000000000004 EPOCH=0x0000000000000002 I1
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000002 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: RX TARGET=0x0000000000000005 EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000002 TARGET=0x0000000000000005 EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: RX TARGET=0x0000000000000006 EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000003 TARGET=0x0000000000000006 EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: RX TARGET=0x0000000000000007 EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000004 TARGET=0x0000000000000007 EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: RX TARGET=0x0000000000000008 EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000005 TARGET=0x0000000000000008 EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: RX TARGET=0x0000000000000009 EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000006 TARGET=0x0000000000000009 EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: RX TARGET=0x000000000000000a EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000007 TARGET=0x000000000000000a EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000003 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: WORKER-IO READY NINTH-RX
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000004 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000005 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: RX TARGET=0x000000000000000c EPOCH=0x0000000000000001 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000008 TARGET=0x000000000000000c EPOCH=0x0000000000000001 I1
TURKOS/OS/K1000: RX TARGET=0x000000000000000f EPOCH=0x0000000000000002 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x0000000000000009 TARGET=0x000000000000000f EPOCH=0x0000000000000002 I1
TURKOS/OS/K1000: RX TARGET=0x0000000000000010 EPOCH=0x0000000000000002 READY
TURKOS/OS/K1080-BATCH: READY ORDINAL=0x000000000000000a TARGET=0x0000000000000010 EPOCH=0x0000000000000002 I1
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000006 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000007 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000008 GATE=0x00000000404ccca0 READY
TURKOS/OS/K1000: CAPTURE STAGE=0x0000000000000009 GATE=0x00000000404ccca0 READY
TURKOS/OS/K985: PASS JOBS=8 NINTH=REFUSED LOST=1
TURKOS/OS/K990: PASS IRQ=12 TASK-TX=13 DETACHED-WORK
TURKOS/OS/K995: PASS SOURCE-EPOCHS=2 EXACT-COALESCING
TURKOS/OS/K1000: PASS DRAINED SOURCE-PINS=RESTORED
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000000
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000001
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000002
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000003
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000004
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000005
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000006
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000007
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000008
TURKOS/OS/K1020: CAPTURE STAGE=0000000000000009
TURKOS/OS/K1020: PASS SLOTS=3 STACKS=5 ENTRIES=7 REFUSALS=17 OWNERS=RESTORED
TURKOS/OS/K1005: PASS DEVELOPMENT-GUEST-PARTIAL
TURKOS/OS/K1010: PASS DEVELOPMENT-GUEST-PARTIAL
TURKOS/OS/K1015: PASS DEVELOPMENT-GUEST-PARTIAL
TURKOS/OS/K1020: PASS DEVELOPMENT-GUEST-PARTIAL
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000000
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000001
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000002
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000003
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000004
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000005
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000006
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000007
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000008
TURKOS/OS/K1040: CAPTURE STAGE=0x0000000000000009
TURKOS/OS/K1040: CAPTURE STAGE=0x000000000000000a
TURKOS/OS/K1040: CAPTURE STAGE=0x000000000000000b
TURKOS/OS/K1040: CAPTURE STAGE=0x000000000000000c
TURKOS/OS/K1040: CAPTURE STAGE=0x000000000000000d
TURKOS/OS/K1040: CAPTURE STAGE=0x000000000000000e
TURKOS/OS/K1040: PASS COOPERATIVE-SWITCHES=1000 SAMPLED-LANDINGS=8 IRQ=3 SAFEPOINT-DEFERRED WFI=1 PENDING-SKIP=1 ACTUAL-WAKE-RUN=1 OWNERS=RESTORED
TURKOS/OS/K1025: PASS DEVELOPMENT-GUEST-PARTIAL
TURKOS/OS/K1030: PASS DEVELOPMENT-GUEST-PARTIAL
TURKOS/OS/K1035: PASS DEVELOPMENT-GUEST-PARTIAL SAFEPOINT-DEFERRED
TURKOS/OS/K1040: PASS DEVELOPMENT-GUEST-PARTIAL
TURKOS/OS/K1040: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K1040: CAPTURE STAGE=0x000000000000000f
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000000 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000001 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000002 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000028 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000029 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000002a GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000002b GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000002c GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000002d GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000002e GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000002f GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000003 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000030 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000031 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000004 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000032 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000033 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000005 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000034 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000035 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000000a GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000000b GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000036 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000037 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000000c GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000000d GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000000e GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000000f GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000038 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000039 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000010 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000011 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000012 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000013 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000003a GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000003b GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000014 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000015 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000003c GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000003d GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000016 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000017 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000018 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000019 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000003e GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000003f GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000001a GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000001b GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000001c GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000001d GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000040 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000041 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000001e GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000001f GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000042 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000043 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000020 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000021 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000022 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000023 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000044 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000045 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000024 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000025 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000026 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000027 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000046 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000047 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000048 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000049 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000004a GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000004b GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000004c GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000004d GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000004e GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x000000000000004f GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000050 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000051 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000006 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000007 GATE=0x0000000040558390 READY
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000008 GATE=0x0000000040558390 READY
TURKOS/OS/K1045: PASS
TURKOS/OS/K1050: PASS
TURKOS/OS/K1055: PASS
TURKOS/OS/K1060: PASS
TURKOS/OS/K1060: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K1060: CAPTURE STAGE=0x0000000000000009 GATE=0x0000000040558390 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000000 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000001 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000030 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000080 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000031 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000033 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000032 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000060 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000081 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000061 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000034 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000050 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000051 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000002 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000050 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000051 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000002 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000020 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000041 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000050 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000040 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000051 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000002 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000003 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000004 READY
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000005 READY
TURKOS/OS/K1080: DRAFT-OWNERS-RESTORED NO-CANONICAL-CLAIM
TURKOS/OS/K1080: ISOLATED-64K-STACK GUARD-UNMAPPED TWO-CANARIES ORIGINAL-SP-RESTORED PASS
TURKOS/OS/K1080: DRAFT-CAPTURE STAGE=0x0000000000000071 READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1090: DELAY=0x0000000000000001 WAITER=0x0000000000000000 OWNER=0x0000000000000001 CHAIN=0x0000000000000001
TURKOS/OS/K1090: PASS
TURKOS/OS/K1095: TICKS=0x0000000000000005 CPU-RUNNING=0x0000000000000004 CPU-IDLE=0x0000000000000001 MEMBER-TICKS=0x000000000000000f SLEEPING=0x0000000000000001
TURKOS/OS/K1095: PASS
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1085: PASS
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1100: ARCHIVE READY
TURKOS/OS/K1195O-TRACE: BODY-ENTRY
TURKOS/OS/K1195O-TRACE: BODY-LANDED
TURKOS/OS/K1195O-TRACE: BODY-LAUNCH-READY
TURKOS/OS/K1195O-TRACE: BODY-CASE=0x0000000000000000
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x000000008000000c ESR=0x0000000056000000 FAR=0x0000000080002000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x000000008000000c CALL=0x0000000000000008
TURKOS/OS/K1195O-TRACE: EL0-ROLE
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x000000008000004c ESR=0x0000000056000000 FAR=0x0000000080002000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x000000008000004c CALL=0x0000000000000009
TURKOS/OS/K1195O-TRACE: RUN-CHILD-DECODED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-ENTRY
TURKOS/OS/K1195O-TRACE: RUN-CHILD-PUBLISHED
TURKOS/OS/K1195O-TRACE: BEFORE-EXIT-WAIT-BUSY
TURKOS/OS/K1195O-TRACE: RUN-CHILD-SAVED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-YIELDED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-STACK
TURKOS/OS/K1195O-TRACE: CHILD-LAUNCH
TURKOS/OS/K1195O-TRACE: BODY-ENTRY
TURKOS/OS/K1195O-TRACE: BODY-LANDED
TURKOS/OS/K1195O-TRACE: BODY-LAUNCH-READY
TURKOS/OS/K1195O-TRACE: BODY-CASE=0x0000000000000001
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x000000008000000c ESR=0x0000000056000000 FAR=0x0000000080002000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x000000008000000c CALL=0x0000000000000008
TURKOS/OS/K1195O-TRACE: EL0-ROLE
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x0000000080000110 ESR=0x0000000056000000 FAR=0x0000000080002000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x0000000080000110 CALL=0x0000000000000007
TURKOS/OS/K1195O-TRACE: PARENT-SPAWN-ENTRY
TURKOS/OS/K1195O-TRACE: PARENT-SPAWN-GATE
TURKOS/OS/K1195O-TRACE: ORPHAN-BEGIN
TURKOS/OS/K1195O-TRACE: ORPHAN-PREPARE
TURKOS/OS/K1195O-TRACE: ORPHAN-PUBLISH
TURKOS/OS/K1195O-TRACE: ORPHAN-BEGIN
TURKOS/OS/K1195O-TRACE: ORPHAN-PREPARE
TURKOS/OS/K1195O-TRACE: ORPHAN-PUBLISH
TURKOS/OS/K1195O-TRACE: TWO-CHILDREN-PUBLISHED-UNDER-EL0-PARENT
TURKOS/OS/K1195O-TRACE: EL0-PARENT-EXIT-ADOPTED-TWO
TURKOS/OS/K1195O-TRACE: BODY-EL0-RETURNED
TURKOS/OS/K1195O-TRACE: EL0-INIT-WAIT-RESULT
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x0000000080000064 ESR=0x0000000056000000 FAR=0x0000000080002000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x0000000080000064 CALL=0x000000000000000a
TURKOS/OS/K1195O-TRACE: SECOND-WAIT-ECHILD
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x000000008000007c ESR=0x0000000056000000 FAR=0x0000000080002000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x000000008000007c CALL=0x0000000000000009
TURKOS/OS/K1195O-TRACE: RUN-CHILD-DECODED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-ENTRY
TURKOS/OS/K1195O-TRACE: INIT-OLDEST-ORPHAN-SELECTED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-PUBLISHED
TURKOS/OS/K1195O-TRACE: BEFORE-EXIT-WAIT-BUSY
TURKOS/OS/K1195O-TRACE: RUN-CHILD-SAVED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-YIELDED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-STACK
TURKOS/OS/K1195O-TRACE: CHILD-LAUNCH
TURKOS/OS/K1195O-TRACE: BODY-ENTRY
TURKOS/OS/K1195O-TRACE: BODY-LANDED
TURKOS/OS/K1195O-TRACE: BODY-LAUNCH-READY
TURKOS/OS/K1195O-TRACE: BODY-CASE=0x0000000000000002
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x000000008000000c ESR=0x0000000056000000 FAR=0x0000000080002000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x000000008000000c CALL=0x0000000000000008
TURKOS/OS/K1195O-TRACE: EL0-ROLE
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x000000008000011c ESR=0x0000000092000006 FAR=0x0000000090000000
TURKOS/OS/K1195O-TRACE: FAULT-BRANCH
TURKOS/OS/K1195O-TRACE: FAULT-HEADER-PASSED
TURKOS/OS/K1195O-TRACE: FAULT-TYPED
TURKOS/OS/K1195O-TRACE: ACTUAL-EL0-FAR-DATA-ABORT
TURKOS/OS/K1195O-TRACE: BODY-EL0-RETURNED
TURKOS/OS/K1195O-TRACE: FAULT-NOT-SUCCESS
TURKOS/OS/K1195O-TRACE: EL0-INIT-WAIT-RESULT
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x00000000800000a8 ESR=0x0000000056000000 FAR=0x0000000090000000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x00000000800000a8 CALL=0x000000000000000a
TURKOS/OS/K1195O-TRACE: SECOND-WAIT-ECHILD
TURKOS/OS/K1195O-TRACE: DISPATCH-ENTRY
TURKOS/OS/K1195O-TRACE: DISPATCH-OWNER
TURKOS/OS/K1195O-TRACE: OWNER-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: LAUNCH-CHECK-PASSED
TURKOS/OS/K1195O-TRACE: FRAME-BOUNDS-PASSED
TURKOS/OS/K1195O-TRACE: FRAME ELR=0x00000000800000c0 ESR=0x0000000056000000 FAR=0x0000000090000000
TURKOS/OS/K1195O-TRACE: NEXT-SVC ELR=0x00000000800000c0 CALL=0x0000000000000009
TURKOS/OS/K1195O-TRACE: RUN-CHILD-DECODED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-ENTRY
TURKOS/OS/K1195O-TRACE: INIT-OLDEST-ORPHAN-SELECTED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-PUBLISHED
TURKOS/OS/K1195O-TRACE: BEFORE-EXIT-WAIT-BUSY
TURKOS/OS/K1195O-TRACE: RUN-CHILD-SAVED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-YIELDED
TURKOS/OS/K1195O-TRACE: RUN-CHILD-STACK
TURKOS/OS/K1195O-TRACE: CHILD-LAUNCH
TURKOS/OS/K1195O-TRACE: BODY-ENTRY
TURKOS/OS/K1195O-TRACE: BODY-LANDED