Re: Information on implementing L4
Andrew Warkentin <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Message-ID | <CAD-qYGqjUkwLVZUJR7oSHLeqyz-QbCafi9mGT3r+hVg-nzakHQ@mail.gmail.com> |
On Fri, Sep 14, 2018, 7:22 PM John <[email protected]> wrote: > > > It doesn't have to run at Ring-0 you know. Think about if you loaded a > malicious network card driver into L4. > No L4 kernel I'm aware of has any facility for loading drivers into the kernel. Drivers on L4 OSes are either regular processes that are allowed limited hardware access ore are libraries loaded into such processes. From what it sounds like, you are wanting to run all privileged services in the same address space and hardware privilege level, relying solely on the CLR to enforce protection domains, which would be less secure than a formally verified microkernel using hardware protection. _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers