Thesis Topic Details
Topic ID: |
3326 | |
Title: |
A device model for seL4 | |
Supervisor: |
Kevin Elphinstone | |
Research Area: |
Operating Systems | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Gernot Heiser | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CS CE SE | |
Group Suitable: |
No | |
Industrial: |
No | |
Pre-requisites: |
-- | |
Description: |
The project aims to provide a framework for device discovery and use on the seL4 microkernel. This involves updating the internal mechanisms of the kernel to enable user-level access to device memory. Once available, the mechanism can be used by user-level software to provide a device management service to device drivers. |
|
Comments: |
-- | |
| Past Student Reports | ||
| Simon Peter RODGERS in s2, 2012 A device model for seL4 |
||
Download report from the CSE Thesis Report Library NOTE: only current CSE students can login to view and select reports to download. | ||