"Tao" == Tao Heng 陶恒-SW TaoHeng@saicmotor.com writes:
Tao> Hi list，Is there any specific plan or some related development Tao> for supporting the Additional Virtio Driver (* e.g Virtio Blk, Tao> Virtio RNG, Virtio Balloon), as you mentioned in READ.md of Tao> libsel4vmmplatsupport, especially for the Virtio Blk?
There's a set of pull requests up for virtio-BLK at https://github.com/seL4/util_libs/pull/82 https://github.com/seL4/camkes-vm/pull/8 https://github.com/seL4/seL4_projects_libs/pull/17
but right now it's a bit bitrotted. We're working on getting them into a fit state to merge.
Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.