[seL4] Memory protections within userspace and hardware/driver support

Devin Harper randomfractals at gmail.com
Wed May 3 17:20:19 AEST 2017


Hi,
I read the whole FAQ. Does the "bug-free" protections for privacy apply to
within each app of the same Linux virtual machine (overcoming memory bugs
built in apps), between apps of the same Linux virtual machine (overcoming
memory bugs built in the Linux kernel/GNU distro), or merely between
different virtual machines (allowing any Linux kernel/GNU distro to be
compromised, just not allowing them to compromise each other)?

Furthermore, do I understand correctly that sel4 will only work on a few
pieces of computer hardware, or will it work on everything the Linux kernel
supports (has drivers for)? If sel4 will work on everything the Linux
kernel supports (has drivers for), then do the same bug-free promises hold
true on those hardwares in addition to the hardwares sel4 has already been
tested on?

Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20170503/a6f46775/attachment-0001.html>


More information about the Devel mailing list