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,