Hello from RK3399! (including odd debug messages!)

[Christian Helmuth]

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 at lists.genode.org
> https://lists.genode.org/listinfo/users

-- 
Christian Helmuth
Genode Labs

https://www.genode-labs.com/ · https://genode.org/
https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth