[seL4] Re: Information for Additional Virtio Driver Support of Sel4

...

...

...

...

"Tao" == Tao Heng 陶恒-SW 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.