# How to access eMMC/ufs storage media in Guest VM

**URL:** <https://sel4.discourse.group/t/how-to-access-emmc-ufs-storage-media-in-guest-vm/450>\
**Category:** seL4 kernel\
**Tags:** arm\
**Created:** [January 14, 2022, 12:17pm UTC](https://sel4.discourse.group/t/how-to-access-emmc-ufs-storage-media-in-guest-vm/450 "2022-01-14T12:17:03Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![heqilin](https://avatars.discourse-cdn.com/v4/letter/h/cdc98d/32.png) [@heqilin](https://sel4.discourse.group/u/heqilin)\
**Post date:** [January 14, 2022, 12:17pm UTC](https://sel4.discourse.group/t/how-to-access-emmc-ufs-storage-media-in-guest-vm/450/1 "2022-01-14T12:17:03Z")

</div>

Hi all，

Block Driver and Virtio Blk are mentioned in the “libsel4vmmplatsupport” chapter, but they are not supported yet  
original:  
Potential future features (yet to be implemented)  
Additional Virtio Driver Support  
e.g Virtio Blk, Virtio RNG, Virtio Balloon  
Block Driver support

When will this features be supported in sel4 ？

Thanks,  
Kylin

---

<div class="post-metadata">

**Author:** ![kent-mcleod2](https://avatars.discourse-cdn.com/v4/letter/k/34f0e0/32.png) [@kent-mcleod2](https://sel4.discourse.group/u/kent-mcleod2)\
**Post date:** [January 30, 2022, 10:12pm UTC](https://sel4.discourse.group/t/how-to-access-emmc-ufs-storage-media-in-guest-vm/450/2 "2022-01-30T22:12:30Z")

</div>

To answer “How to access eMMC/ufs storage media in Guest VM” this is already possible via device passthrough. If you configure the interrupts and device registers to be made available to the guest, then the guest kernel is able to initialize a driver and access the hardware.

Additional Virtio drivers that aren’t already provided by libvmmplatsupport can still be written by a 3rd party, but there isn’t any ongoing work to provide them in libvmmplatsupport right now.