Title
Configurable Hybridkernel for Embedded Real-Time Systems
Abstract
When designing a kernel for an operating system the developer has to choose between an microkernel or monolithic kernel approach. Bases for the decision is mostly the tradeoff between security and performance. Depending on application demands and on the available hardware a microkernel or a monolithic kernel approach or sornething between is desired. In this paper we present a hybrid kernel for embedded real-time systems which can be configured to the application demands in an easy way. To realize the hybrid kernel we present a technique to guarantee memory access in O(l) with virtual memory. With our approach the same codebase can be used for system services to be placed either in userspace or in kernelspace.
Year
DOI
Venue
2007
10.1007/978-0-387-72258-0_24
International Federation for Information Processing
Keywords
Field
DocType
real-time operating system,microkernel,monolithic kernel,virtual memory,memory management unit,MMU,translation look-aside buffer,TLB
Embedded operating system,Codebase,Computer science,Microkernel,Hybrid kernel,Real-time computing,System call,Memory management,Memory map,Monolithic kernel,Operating system,Embedded system
Conference
Volume
ISSN
Citations 
231
1571-5736
1
PageRank 
References 
Authors
0.39
9
2
Name
Order
Citations
PageRank
Timo Kerstan1303.87
Simon Oberthür2395.90