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=0x00000000400a68a0 START=0x00000000400a4000 TOP=0x00000000400a8000 PASS
TURKOS/OS/K625: SYNTHETIC-EL2 REJECTED
TURKOS/OS/K635: STACK GUARD=0x00000000400a3000 START=0x00000000400a4000 TOP=0x00000000400a8000 SP=0x00000000400a68a0 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=0x000000004009d000 RODATA-END=0x00000000400a2000 BSS-START=0x00000000400a2340 BSS-END=0x00000000400c9af0 PASS
TURKOS/EL: 1
TURKOS/DTB: 0x0000000048000000
TURKOS/OS/PLATFORM: REJECTED reason=dtb-missing-device BEFORE-ALLOC
TURKOS/DTB-ERROR