Microkernel operating systems

Ratko Rudić (2016) Microkernel operating systems. MSc thesis.

Preview

Abstract

This thesis outlines history, development and design of microkernel based operating systems. While the idea of microkernel based architecture emerged early in computer science, there are still very few systems adopting this technology. Microkernel operating systems are divided into several different groups and families that frequently share rules, design decisions and development processes. This master thesis focuses on the main representatives of these groups as well as their mutual relationships, features and potential weaknesses. In addition, it presents use cases of microkernel systems in various specialized embedded applications and offers insight and further explanations of the advantages that microkernel systems have over monolithic systems.

Item Type:

Thesis (MSc thesis)

Keywords:

Microkernel operating systems, hybrid systems, monolythic systems, Liedtke, L4, seL4, Mach, Minix

Number of Pages:

Language of Content:

Slovenian

Mentor / Comentors:

Name and Surname	ID	Function
prof. dr. Borut Robič	28	Mentor

Link to COBISS:

http://www.cobiss.si/scripts/cobiss?command=search&base=51012&select=(ID=1537126339)

Institution:

University of Ljubljana

Department:

Faculty of Computer and Information Science

Item ID:

3475

Date Deposited:

31 Aug 2016 12:25

Last Modified:

21 Sep 2016 13:05

URI:

http://eprints.fri.uni-lj.si/id/eprint/3475

Actions (login required)

View Item