10 Nov
2020
10 Nov
'20
4:12 p.m.
< big cut>
The problem is hopefully solved
The problem was the _arch_init code that does gic code. I was unfortunate enough to do late night hacking , and in vane and desperation put in a crash into gicv3.cc :/
Anyway , big thanks for all help , and the pointer to _arch_init. Also the fact that I now know how to get a dump from genode..
Will be very useful later on!
Michael