volkmar at ira.uka.de
Wed May 1 03:08:01 CEST 2002
What kernel? Hazelnut or FIASCO?
> -----Original Message-----
> From: luke.hart at sysmedia.com [mailto:luke.hart at sysmedia.com]
> Sent: Wednesday, May 01, 2002 1:42 AM
> To: l4-hackers at os.inf.tu-dresden.de
> Subject: DE use
> 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