Lucy is working on the Device Driver Framework, to optimise device drivers running on seL4.
| Email: | lucy.parker@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Current |
|
 
|
Lucy Parker The seL4 device driver framework Talk at the 5th seL4 Summit, September, 2023 |
|
|
 |
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 |
|
|
|
Lucy Parker The seL4 device driver framework Talk at the 4th seL4 Summit, October, 2022 |