<i>Create a secure POSIX-compatible userland on top of seL4.</i><p>This goal fills me with nerd lust. Getting ourselves a secure foundation to build on doesn&#x27;t solve all our problems (not by a long shot), but such a drastic reduction in attack surface would be an incredible achievement.