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?
Thanks for any info.,
Luke
