< 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 _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
