Hello Michael,
Awesome you made it in just a few days and with limited remote help only. Kudos!
Wish you luck with your "backup plan" for RiscOS ;-)
Christian
On Tue, Nov 10, 2020 at 20:46:01 CET, Michael Grunditz wrote:
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!
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users