[seL4] Re: Interactions between sDDF and libvmm