bug-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gnumach and oskit headers


From: Igor Khavkine
Subject: Re: gnumach and oskit headers
Date: Wed, 18 Oct 2000 11:12:47 -0400
User-agent: Mutt/1.2.5i

On Wed, Oct 18, 2000 at 02:05:38AM -0400, Roland McGrath wrote:
> > I've looked through gnumach's machine dependent headers trying to see
> > where they could be replaces by equivalet oskit headers to eliminate 
> > redundancy. So now I've eliminated most of the redundancy and removed the 
> > unneeded headers from my local copy of gnumach (oskit-mach) rather.
> 
> Please be specific about which files you are hacking on.  I have avoided
> unnecessary diddling of the user-visible headers, to keep the gnumach-devel
> package compatible between gnumach and oskit-mach.  The user-visible
> headers are in include/ and i386/include/.  I believe there are files in
> those directories that are in fact not used outside the kernel, and it
> would be good to get rid of these so the user-visible Mach headers are a
> minimal set providing just the actual kernel interfaces proper.  

Ok, I've attached a listing of the old sate and the new state of
[gnumach]/i386/.

> 
> > Also a lot of oskit headers are simply taken from mach and are
> > identical except a few subtle cases. For example oskit/x86/base_gdt.h
> > defines USER_CS to be 0x43 and i386/i386/ldt.h defines it to be 0x17. 
> 
> The low three bits of those values are flag bits to the hardware.
> 

So which set of flags has advantage over the other?

Igor

Attachment: lst
Description: Text document


reply via email to

[Prev in Thread] Current Thread [Next in Thread]