On Thu, Jun 3, 2021 at 6:38 PM Olof Holmberg <[email protected]> wrote: > > Hi, > > I am currently booting a initramfs as the VM so that I later would be able to > switch root to a filesystem disk that allows for larger storage and has other > software installed that I want inside the VM. > > I have started the simulate script with a few variants of the following line > (Passing the virtio device was a guess since the virtio-net device is > supported for networking for the VM. I have also tried to pass only the drive > part but it has the same result.): > > sudo ./simulate --extra-qemu-args="-device virtio-blk-pci,drive=drive0 -drive > file=filesystem/testimage,format=raw,if=none,id=drive0" > > However there are no devices appearing in /dev/ that seem to be the drive > passed to qemu such as sdaX or vdaX. There is no output from running "fdisk > -l" either. > > So therefore I wonder if this kind of passthrough is supported by seL4? I > have tried to find documentation that relates passing a disk to the VM in > seL4 but have not found anything yet. > This was done for the qemu-arm-virt platform if that has some significance > regarding platform support. > Hi Olof,
Do you see the device come up if you perform `lspci` in the guest? The PCI bus should be being passed directly through to the guest by default, so adding a virtio-blk-pci should also get passed through. What commands do you use to create the testimage? > Best regards, > Olof > _______________________________________________ > Devel mailing list -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
