DE use

luke.hart at sysmedia.com luke.hart at sysmedia.com
Wed May 1 09:37:09 CEST 2002


Sorry, I meant the latest Hazelnut kernel.

Thanks,
    Luke

----- Original Message ----- 
From: "Volkmar Uhlig" <volkmar at ira.uka.de>
To: <Luke.Hart at SysMedia.com>
Cc: <l4-hackers at 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 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
> 
> 
> 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 at os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers






More information about the l4-hackers mailing list