[okl4-developer] HAL

[Ben Leslie]

On Sun Feb 24, 2008 at 02:21:57 -0500, Jorge Torres wrote:
>Hi,
>
>I've had so much fun reading your blog in this night, specially with
>Gernot's great taste for writing, but I wonder after his nanokernel
>blog-post, isnt a microkernel, such as OKL4 a particular case of a Hardware
>abstraction Layer software, why can't microkernels be considered as HALs?
>

Hi Jorge,

In my opinion at least, a microkernel is not considered a HAL, because
a microkernel is not designed to abstract hardware (although it does
in some cases end up doing this), and because it only abstracts a small
subset of hardware.

A slightly longer explanation is available on my blog:
http://benno.id.au/blog/2008/02/25/are-microkernels-hals

Cheers,

Benno