DE use

Volkmar Uhlig volkmar at
Wed May 1 03:08:01 CEST 2002

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?

More information about the l4-hackers mailing list