Sorry, I meant the latest Hazelnut kernel.
Thanks, Luke
----- Original Message ----- From: "Volkmar Uhlig" volkmar@ira.uka.de To: Luke.Hart@SysMedia.com Cc: l4-hackers@os.inf.tu-dresden.de Sent: Wednesday, May 01, 2002 2:08 AM Subject: RE: DE use
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?
_______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers