Where in the world is Gernot?

Where Has He Been?

SydneyAug. 15
Kuala LumpurAug. 12
SydneyAug. 11
San FranciscoAug. 04
AustraliaJul. 07
DresdenJul. 04
BerlinJun. 30
SydneyJun. 27
San DiegoJun. 19
Palo AltoJun. 18

About the Blog

 
OK Bloggers include:

Engineers,
Developers,
Academics,
Executives,
and a variety of voices from the OK team.

We hope you enjoy this glimpse into our culture...

If you have any questions or comments please email us:

blog@ok-labs.com

Open Kernel Labs Blog

February 25, 2008

Are Microkernels Hardware Abstraction Layers?

Benno's Website

In a recent post Gernot made a comparison between nanokernels and hardware abstraction layers (HALs). This prompted a question on the OKL4 developers mailing list: well, couldn’t you consider a microkernel a HAL?.

I think the logical conclusion, both theoretical and practical, is a resounding, no.

Why? Well, a microkernel is, in theory (if not always in practise) minimal. That is, it should only include things in the kernel are those pieces of code that must run in privileged mode.

So, if a microkernel was to provide any hardware abstractions, it will only be providing the abstraction that have to be in the kernel. Which really falls short of a complete hardware abstraction layer.

Venn diagramm shoing overlap between HAL and microkernel properties

Now, probably the more interesting question is should the microkernel provide any hardware abstraction, and if so what hardware should it be abstracting, and what is the right abstraction. After starting to write some answers to these questions I reminded myself of the complexity involved in answering them, so I will leave these questions hanging for another post.

Posted by Benno Leslie on February 25 at 01:01 PM

Benno Leslie's avatar

About Benno Leslie:

Benno Leslie, Vice President of Engineering at OK Labs holds a dual degree in Computer Engineering (with first-class honors) and Arts from UNSW. While at work, Benno does his best to avoid the marketing department, while he oversees a team of lead engineers and the customer support organization. When summer hits, the rugby field comes calling and Benno is either tackling others, out cycling, or letting loose at concerts.

Email Benno Leslie

Virtualization for Embedded SystemesPermalink

Back To Top