Information on implementing L4

[Andrew Warkentin]

On Fri, Sep 14, 2018, 8:33 PM John <john.r.moser at gmail.com> wrote:

> They're still attacks.
>
> Curious: how do you implement MM filters, such as paging and compressed
> memory?  What about file system filters such as unionfs?
>

Paging and compressed memory will be implemented in the root server (for
paging there will be hooks to allow it to call a disk server). File system
filters will be implemented by a "firm link" or transclusion facility where
one (sufficiently privileged) server can include another server's files in
a directory it exports, much like the one that QNX has (servers will only
need directory access to transclude files).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20180914/c040d79f/attachment.htm>