Thesis Topic Details

Topic ID:
3825
Title:
Port/emulate Google Magenta to seL4
Supervisor:
Gernot Heiser
Research Area:
Operating Systems
Associated Staff
Assessor:
Kevin Elphinstone
Topic Details
Status:
Active
Type:
R & D
Programs:
CS CE SE
Group Suitable:
No
Industrial:
No
Pre-requisites:
COMP9242 Advanced Operating Systems
Description:
Google's new Magenta OS is an interesting development. It would be even more interesting if it ran on a base that cold provide actual security guarantees, i.e. seL4.

This project is to analyse Magenta and map it onto seL4, and evaluate the performance against native Magenta.
Comments:
https://fuchsia.googlesource.com/magenta/+/master/docs/concepts.md
https://sel4.systems
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.