Lucy is working on the Device Driver Framework, to optimise device drivers running on seL4.
More contact information is available at the Contact page.
||Gernot Heiser, Lucy Parker, Ivan Velickovic, Peter Chubb and Ben Leslie|
Can we put the "S" into IoT?
IEEE World Forum on Internet of Things, Yokohama, JP, November, 2022
The seL4 device driver framework
Talk at the seL4 2022 Summit, October, 2022