Hello from RK3399! (including odd debug messages!)

[Michael Grunditz]

Starting kernel ...

xaydzKernel: cpu pool1
Kernel: cpu constructor
Kernel: arch_init
Kernel: cpu pool1

kernel initialized
ROM modules:
 ROM: [0000000002212000,0000000002212184) config
 ROM: [000000000249c000,000000000249d000) core_log
 ROM: [000000000220f000,0000000002211698) hello
 ROM: [00000000021bd000,00000000021fe278) init
 ROM: [0000000002108000,00000000021bc570) ld.lib.so
 ROM: [000000000249a000,000000000249b000) platform_info
 ROM: [00000000021ff000,000000000220e9c0) timer

Genode sculpt-20.08-72-g5be1c793a <local changes>
507 MiB RAM and 64533 caps assigned to init
[init -> hello] Hello world from RK3399!