ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

Microkernel operating systems

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

Download (1614Kb)


    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: 79
    Language of Content: Slovenian
    Mentor / Comentors:
    Name and SurnameIDFunction
    prof. dr. Borut Robič28Mentor
    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