Thesis Topic Details

Topic ID:
3785
Title:
An evaluation of a multiserver OS on 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:
An excellent performance in or understanding of an Operating System course.
Description:
The goal of this project is to evaluate an existing multiserver operating system that runs on the seL4 microkernel.

The thesis is quite broad initially, but is expected to narrow down to be quite specific through Thesis A.

The evaluation might involve:
* Buildling benchmarking tools in the mutliserver environment
* Evaluating results and identifying issues with the multiserver of seL4.
* Implementing improvements to the multiserver or seL4.
* Enhancing functionality of the multiserver to move it closer to a general purpose operating system.


Comments:
--
Past Student Reports
 
No Reports Available. Contact the supervisor for more information.

Check out all available reports in the CSE Thesis Report Library.

NOTE: only current CSE students can login to view and select reports to download.