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=0x00000000400aa8a0 START=0x00000000400a8000 TOP=0x00000000400ac000 PASS
TURKOS/OS/K625: SYNTHETIC-EL2 REJECTED
TURKOS/OS/K635: STACK GUARD=0x00000000400a7000 START=0x00000000400a8000 TOP=0x00000000400ac000 SP=0x00000000400aa8a0 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=0x00000000400a1000 RODATA-END=0x00000000400a6000 BSS-START=0x00000000400a6340 BSS-END=0x00000000400d1c80 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=0x00000000000089de NODES=0x0000000000000039 DEPTH=0x0000000000000006 PROPERTIES=0x00000000000000e0 REFERENCES=0x0000000000000006 BOUNDED PASS
TURKOS/OS/PLATFORM: BANK INDEX=0x0000000000000000 START=0x0000000040000000 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=0x0000000048000000 BYTES=0x00000000000089de 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=0x00000000000089de X1=0x0000000000000000
TURKOS/OS/K605: VALIDATED source=direct-image RAM=0x0000000040000000+0x0000000020000000 BEFORE-ALLOC
TURKOS/DIAG boot=0x24ee8430b836cf63 seq=0x0000000000000000 service=boot event=entered
TURKOS/OS/K665: FIXTURE BOOT-ID=0x24ee8430b836cf63 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=0x000000000000005c denied=0x000000000000005c FREE=0x000000000001ffa4 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=0x00000000400d3000 END=0x0000000048000000
TURKOS/FREE-RANGE: INDEX=0x0000000000000002 START=0x0000000048009000 END=0x0000000060000000
TURKOS/FREE-PAGES: 0x000000000001ffa4
TURKOS/FRAME-ADDRESS: 0x0000000040000000
TURKOS/FRAME-COUNT: 0x0000000000000010
TURKOS/FRAME-EDGE: PASS
TURKOS/FRAME-DOUBLE-FREE: ADDRESS=0x0000000040000000 BEFORE=0x000000000001ffa4 AFTER=0x000000000001ffa4 RECLAIMED=0x0000000000000010 RESULT=PASS
TURKOS/FRAME-ACCOUNT: BEFORE=0x000000000001ffa4 AFTER=0x000000000001ffa4
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=0x00000000400a1000 RODATA-END=0x00000000400a6000
TURKOS/MMU-TABLE-ACCOUNT: BEFORE=0x000000000001ffa4 AFTER=0x000000000001ff9e COUNT=0x0000000000000006
TURKOS/MMU-ROOT: 0x0000000040000000
TURKOS/MMU-TABLES: 0x0000000000000006
TURKOS/MMU-BLOCKS: 0x00000000000000ff
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: 0x00000000400aa1e0
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=0x0000000040004508 VALUE=0x00600000400a1783 DATA-LEAF=0x0000000040004530 VALUE=0x00600000400a6703 PASS
TURKOS/OS/K635: LIVE-SP=0x00000000400aa150 CANARY=0x4b3633355354414b PASS
TURKOS/OS/K635: GUARD-UNMAPPED=0x00000000400a7000 DESCRIPTOR=0 TLBI=COMPLETE PASS
TURKOS/OS/K635: OWNERSHIP IMAGE-PAGES=5 ALLOCATOR-PAGES=0 FREE-BEFORE=0x000000000001ff9e FREE-AFTER=0x000000000001ff9e TABLE-FRAMES=0x0000000000000006 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=0x0000000040006000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: ALLOC BANK=0x0000000000000000 ENDPOINT=0x0000000000000001 FRAME=0x000000005ffff000 OWNED-CANARY-RELEASE PASS
TURKOS/OS/PLATFORM: OWNERSHIP FREE-BEFORE=0x000000000001ff9e FREE-AFTER=0x000000000001ff9e 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=0x0000000000001371 FREE-PAGES=0x000000000001ff9d TASK-FRAME=0x0000000040006000 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=0x24ee8430b836cf63 seq=0x0000000000000001 service=diagnostics event=ready
TURKOS/DIAG boot=0x24ee8430b836cf63 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=0x00000000000026d1 FREE-PAGES=0x000000000001ff9d TASK-FRAME=0x0000000040006000 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/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=0x0000000040007000 ERASED=4096 CANARY=0x4b37313542414e4b RELEASED PASS
TURKOS/OS/K715: BANK=0x0000000000000000 ENDPOINT=0x0000000000000001 FRAME=0x000000005ffff000 ERASED=4096 CANARY=0x4b37313542414e4a 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