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