HelenOS bootloader, release 0.12.1 (Cathode), revision 14cbf074b
Built on 2023-05-16 01:21:38 for arm32
Copyright (c) 2001-2022 HelenOS project
Boot loader: 0x00000000 -> 0x0000dd34

Memory statistics
 0x0000d000|0x0000d000: bootstrap stack
 0x00008000|0x00008000: bootstrap page table
 0x0000d830|0x0000d830: boot info structure
 0x80a00000|0x00a00000: kernel entry point
Boot loader: 0x00000000 -> 0x0000dd34
Payload: 0x0000dd34 -> 0x01a3c534
Kernel load address: 0x00a00000
Kernel start: 0x80a00000
RAM end: 0x01a00000 (16777216 bytes available)