>>>>> "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
--
Dr Peter Chubb https://trustworthy.systems/
Trustworthy Systems Group CSE, UNSW
Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
