Re: Ada, MILS, and Kernels?

[Dennis Lee Bieber <wlfraed@ix.netcom.com>]

On Sat, 5 Jan 2013 19:47:19 -0800 (PST), brian catlin
<brian.catlin@gmail.com> declaimed the following in comp.lang.ada:

> On Tuesday, 1 January 2013 20:37:23 UTC-10, Diogenes  wrote:
> > Recently I've had a good bit of success with getting gnat-gcc to cross > The other half of my research has been in Mainframe OSes. Specifically VMS and VME. Unfortunately, except for a couple small projects that seem to be dying slowly, there isn't much source code available as far as the internals for these OS's. Obviously that's because they're proprietary; and I can't really blame HP or Fujitsu for holding those cards close to their chest.
> > 
> 
> Really? Check out the OpenVMS Internals and Data Structures books. Also the 6th edition of the Windows Internals books contain very detailed information (full disclosure: I wrote many of the updates). You'll notice that the two operating systems are very, very similar because they were architected by the same person (Dave Cutler).
> 
	I'll have to look for said 6th edition... While the same person may
have been crucial to the two OSs, it is very obvious that the same team
did NOT do the documentation. The multi-volume VMS binders were quite
readable, and well focused.

	In contrast, navigating MSDN or the older Windows books I own are a
downright pain (MSDN because one would need to keep five or more browser
windows open just to quickly jump back&forth between various topics; the
older books because they don't have a clear /reference/ nature but tend
to toss in system calls almost ad-hoc).
-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
        wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/