Re: [seL4] ramdisk vs. persistant rfs in VMs.