I’ve been working with VMs running under SEL4 on ARM hardware. I have been able to boot to
a command prompt in a VM. However, the filesystem being used is a ramdisk. I need some
sort of persistent storage, preferably a regular rfs that lives on an SD card. Not exactly
sure what modifications to make and where to cause the kernel to use a persistent rfs
rather than the ramdisk. Barring that, wondering if the SD card can be divided into
multiple partitions such that one can be the boot partition and the other mounted to
provide persistent storage space. Hoping one of y’all can point me in the right
direction.
— Travis