But running Linux on top of seL4 does not take advantage of the capability model at all. You need a new non-unix-like userspace for that.