What kernel? Hazelnut or FIASCO?
> -----Original Message-----
> From: luke.hart(a)sysmedia.com [mailto:luke.hart@sysmedia.com]
> Sent: Wednesday, May 01, 2002 1:42 AM
> To: l4-hackers(a)os.inf.tu-dresden.de
> 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?