The 'Q's are output from core 1. I did a little new kernel call and issued CPU_ON in it. No 32bit yet. I just dumped out a 64bit printloop to array , copied it into the dataspace and called psci with the physical address.
This is fun!
Genode 21.02 <local changes> 1019 MiB RAM and 64533 caps assigned to init [init -> test-log] logic addr: 0x3004 QQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQ
Michael <>