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: 0x0000000048000000
TURKOS/UART: 0x0000000009000000
TURKOS/RAM: 0x0000000040000000+0x0000000040000000
TURKOS/OS/K610: ENTER BEFORE-ALLOC
TURKOS/OS/K610: INPUT DTB=0x0000000048000000 BYTES=0x0000000000100000 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=0x0000000000100000 X1=0x0000000000000000
TURKOS/OS/K605: VALIDATED source=direct-image RAM=0x0000000040000000+0x0000000040000000 BEFORE-ALLOC
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/K615: SYNTHETIC-PAYLOAD-IMAGE-OVERLAP REJECTED
TURKOS/OS/K615: RESERVED owners=0x0000000000000003 pages=0x000000000000012e denied=0x000000000000012e FREE=0x000000000003fed2 PASS
TURKOS/FREE-RANGES: 0x0000000000000003
TURKOS/FREE-RANGE: INDEX=0x0000000000000000 START=0x0000000040000000 END=0x0000000040080000
TURKOS/FREE-RANGE: INDEX=0x0000000000000001 START=0x00000000400ae000 END=0x0000000048000000
TURKOS/FREE-RANGE: INDEX=0x0000000000000002 START=0x0000000048100000 END=0x0000000080000000
TURKOS/FREE-PAGES: 0x000000000003fed2
TURKOS/FRAME-ADDRESS: 0x0000000040000000
TURKOS/FRAME-COUNT: 0x0000000000000010
TURKOS/FRAME-EDGE: PASS
TURKOS/FRAME-DOUBLE-FREE: ADDRESS=0x0000000040000000 BEFORE=0x000000000003fed2 AFTER=0x000000000003fed2 RECLAIMED=0x0000000000000010 RESULT=PASS
TURKOS/FRAME-ACCOUNT: BEFORE=0x000000000003fed2 AFTER=0x000000000003fed2
TURKOS/FRAME-TEST: PASS
TURKOS/MMU-LINKER: TEXT-START=0x0000000040081000 TEXT-END=0x000000004008f000 RODATA-END=0x0000000040091000
TURKOS/MMU-TABLE-ACCOUNT: BEFORE=0x000000000003fed2 AFTER=0x000000000003fecd COUNT=0x0000000000000005
TURKOS/MMU-ROOT: 0x0000000040000000
TURKOS/MMU-TABLES: 0x0000000000000005
TURKOS/MMU-BLOCKS: 0x00000000000001ff
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