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 [email protected] _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
