Re: gnumach and oskit headers

[Roland McGrath]

> 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.  

> 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.