Hi Olof, > I was wondering how you achieve this SATA passthrough for a ARM VM or if there > are any tutorials, other projects or examples that shows how it is done?
In my experiences of dealing with SATA drives on Arm platforms, it seems that SATA functionality is implemented via a specific device on the board. You could then find that specific device in the devicetree and then include that node's device path in the ".dtb" as similar to examples in [1]. For your case, I'm assuming (from your past post history) that you want to do this on the qemu-arm-virt platform in QEMU. If I remember correctly, there should be VirtIO block devices that you could attach to a QEMU instance but I'm not quite sure how the specific details of this could work, i.e. would it pop up in the devicetree generated by QEMU or would the VirtIO block device function over PCIe, and etc. I hope this provides a good starting point. Regards, Damon _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
