Information on implementing L4

Andrew Warkentin andreww591 at
Sat Sep 15 05:29:06 CEST 2018

On Fri, Sep 14, 2018, 8:33 PM John <john.r.moser at> 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: <>

More information about the l4-hackers mailing list