TURKOS/BOOT0: ARM64 kernel entered
TURKOS/EL: 1
TURKOS/DTB: 0x0000000048000000
TURKOS/UART: 0x0000000009000000
TURKOS/RAM: 0x0000000040000000+0x0000000020000000
TURKOS/GICD: 0x0000000008000000
TURKOS/GICR: 0x00000000080a0000
TURKOS/TIMER-PPI: 0x000000000000001e
TURKOS/IRQ-MASK: ON
TURKOS/STATIC-RESERVATIONS: 0x0000000000000000
TURKOS/FREE-RANGES: 0x0000000000000003
TURKOS/FREE-RANGE: INDEX=0x0000000000000000 START=0x0000000040000000 END=0x0000000040080000
TURKOS/FREE-RANGE: INDEX=0x0000000000000001 START=0x000000004009a000 END=0x0000000048000000
TURKOS/FREE-RANGE: INDEX=0x0000000000000002 START=0x0000000048100000 END=0x0000000060000000
TURKOS/FREE-PAGES: 0x000000000001fee6
TURKOS/FRAME-ADDRESS: 0x0000000040000000
TURKOS/FRAME-COUNT: 0x0000000000000010
TURKOS/FRAME-EDGE: PASS
TURKOS/FRAME-DOUBLE-FREE: ADDRESS=0x0000000040000000 BEFORE=0x000000000001fee6 AFTER=0x000000000001fee6 RECLAIMED=0x0000000000000010 RESULT=PASS
TURKOS/FRAME-ACCOUNT: BEFORE=0x000000000001fee6 AFTER=0x000000000001fee6
TURKOS/FRAME-TEST: PASS
TURKOS/MMU-LINKER: TEXT-START=0x0000000040081000 TEXT-END=0x000000004008c000 RODATA-END=0x000000004008e000
TURKOS/MMU-TABLE-ACCOUNT: BEFORE=0x000000000001fee6 AFTER=0x000000000001fee1 COUNT=0x0000000000000005
TURKOS/MMU-ROOT: 0x0000000040000000
TURKOS/MMU-TABLES: 0x0000000000000005
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: 0x000000004008fc00
TURKOS/MMU-DTB: PASS
TURKOS/MMU-FRAME-COUNT: 0x0000000000000010
TURKOS/MMU-FRAME: PASS
TURKOS/MMU-DATA-WRITE: PASS
TURKOS/IRQ-DEFAULT-DAIF: 0x00000000000003c0
TURKOS/MMU-NORMAL: PASS