Testing Infrastructure for Operating System Kernel Development

Maxwell Walter, Sven Karlsson

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

230 Downloads (Pure)


Testing is an important part of system development, and to test effectively we require knowledge of the internal state of the system under test. Testing an operating system kernel is a challenge as it is the operating system that typically provides access to this internal state information. Multi-core kernels pose an even greater challenge due to concurrency and their shared kernel state. In this paper, we present a testing framework that addresses these challenges by running the operating system in a virtual machine, and using virtual machine introspection to both communicate with the kernel and obtain information about the system. We have also developed an in-kernel testing API that we can use to develop a suite of unit tests in the kernel. We are using our framework for for the development of our own multi-core research kernel.
Original languageEnglish
Title of host publicationProceedings of the 7th Swedish Workshop on Multicore Computing (MCC'14)
Number of pages4
Publication date2014
Publication statusPublished - 2014
Event7th Swedish Workshop on Multicore Computing (MCC14) - Lund, Sweden
Duration: 27 Nov 201428 Nov 2014
Conference number: 7


Workshop7th Swedish Workshop on Multicore Computing (MCC14)
Internet address


Dive into the research topics of 'Testing Infrastructure for Operating System Kernel Development'. Together they form a unique fingerprint.

Cite this