HelenOS bootloader, release 0.8.0 (Speranza), revision 2332e134f
Built on 2019-02-07 01:26:26 for arm32
Copyright (c) 2001-2018 HelenOS project
Boot loader: 0x00000000 -> 0x0000dd38

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