DE use

luke.hart at luke.hart at
Wed May 1 09:37:09 CEST 2002

Sorry, I meant the latest Hazelnut kernel.


----- Original Message ----- 
From: "Volkmar Uhlig" <volkmar at>
To: <Luke.Hart at>
Cc: <l4-hackers at>
Sent: Wednesday, May 01, 2002 2:08 AM
Subject: RE: DE use

What kernel? Hazelnut or FIASCO?

> -----Original Message-----
> From: luke.hart at [mailto:luke.hart at] 
> Sent: Wednesday, May 01, 2002 1:42 AM
> To: l4-hackers at
> Subject: DE use
> All,
> The latest version of L4 (from CVS) and probably earlier 
> ones, check for the
> debug extensions. Does it actually use them? I ask this since 
> Bochs, does
> not set the DE bit in the CPUID or support these extensions.
> I have done a search for usage of DRx (where x is 0-7) in the 
> source, but
> couldn't find any references. Is it safe to just remove the 
> check for DE?

l4-hackers mailing list
l4-hackers at

More information about the l4-hackers mailing list