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!