[seL4] Re: UnknownSyscall Exception Handler for non-seL4 syscall API

...

...

...

...

"lukas-graber---" == lukas-graber--- via Devel 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.