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

Just to clarify, UX/RT will only require a single contiguous range in which un-intercepted syscalls will be permitted (since libroot will also function as the dynamic linker), so there will be no need for the added complexity of a list of multiple ranges (unless someone else wants to use system call origin verification in an OS with a more complex standard library structure).