[seL4] Re: Operating Systems built on top of seL4

On 8/2/21, Stefan O'Rear wrote:

An alternative which would allow my understanding of Andrew's use case would be to consistently use the same syscall register as Linux with non-overlapping syscall numbers. IIRC there is old seL4 or L4 documentation which implies this is already the case, although as detailed in several other replies it is not.

While this may work specifically for linux, it would be nice to have a general solution that would allow trapping syscalls for any operating system. - JB