Interesting topic and potential dangerous area... El dom., 1 ago. 2021 2:34, Gernot Heiser <ger...@unsw.edu.au> escribió:
> On 1 Aug 2021, at 10:12, William ML Leslie <william.leslie....@gmail.com> > wrote: > > > >> Wouldn't there be a risk that a Linux system call would present an > >> argument that happens to look like a capability and not get > >> intercepted if system calls were implemented by just catching the > >> existing invalid-syscall exceptions? > >> > > > > Not if you don't have any capabilities mapped into the address space. > > Correct, which would be a reasonable design for a legacy subsystem, it > forces each syscall to raise an exception. Silly me for not pointing this > out in the first place. > > Gernot > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems > _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
