"lukas-graber---" == lukas-graber--- via Devel devel@sel4.systems writes:
lukas-graber---> else if(fault_type = seL4_Fault_VMFault){ lukas-graber---> // Why do we get in here after
I assume in the real code that's '==' not '=' ?
You didn't say what platform you're working with. I'm assuming from the registers it's x86_64 ... I'm not *absolutely* sure, but think that you need to set rcx not rip to get to the right return address.
Peter C