Re: [seL4] syscall.c

Greetings Thank you for your answer

The point of the syscall.c tests is to check that registers are not being corrupted by our syscalls (i.e that the kernel ABI + stubs follows the calling convention of the architecture).

…and corruption of registers can happen only if syscalls modify stack, since these values are popped from it after the end of a syscall routine, right?

For arm, this just means checking any registers that are not caller saved are preserved across the system calls. Not sure what this means for MIPS, but hopefully that clears it up?

-- Vasily A. Sartakov sartakov@ksyslabs.org