[seL4] Re: Possibility of adding a system call origin limit similar to that of OpenBSD?

On 11/22/20, Heiser, Gernot (Data61, Kensington NSW) wrote:

This proposed feature fundamentally violates the microkernel minimality principle, as the same can be achieved in other ways. It is also narrow in its application, and carries policy. It will also almost certainly lengthen the critical syscall pass and thus penalise the performance of everything.

I would have thought it would just be a matter of comparing the syscall origin address against the start and end limit addresses. It's not like I was expecting to check it against any kind of array/list (which would definitely incur significant overhead).