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