To: Bruce Link et al.
From: Bob Leif, Ph.D.

Please notice that my statement was, "the best way to increase the use of
this operating system is to provide it with a core written in Ada 95." I
used the term CORE. I did NOT suggest rewriting Linux in its entirety. When
I build a system in Ada, I do not wish to interface with another language on
anything involving real-time or that would significantly effect the
reliability of the system.

Presently, I do NOT have a C compiler and do not believe that possession of
a C compiler or intricate knowledge of C and its prodigy should be a
prerequisite for use of Ada.

If anyone is interested in creating an operating system in Ada, I most
strongly suggest that you obtain a copy of Project Oberon by Nikalaus Wirth
(Ada's Grandfather) and Jurg Gutknecht Addison-Wesley, ACM Press. I believe
that Ada would be a better language to implement their operating system than
Oberon itself. The frames and text sections of Project Oberon would be a
good starting point. I would also recommend use of XML.

I believe that the initial Ada design called for a database to manage the
file system. This is absolutely correct. I am still waiting for INEEL to
extend Sage-ST (AdaSAGE) into an object relational database. Sage-ST has
very powerful concordance features.
Yours, Bob  Leif


-----Original Message-----
From:   Team Ada: Ada Advocacy Issues (83 & 95) [mailto:[log in to unmask]] On
Behalf Of [log in to unmask]
Sent:   Tuesday, June 30, 1998 9:58 AM
To:     [log in to unmask]
Subject:        Re: On Windows CE, Psion's EPOC, ARM processor and Ada

In <000001bda3b1$69c810e0$12404bd1@default>, on 06/29/98 at 03:58 PM,
   "Robert C. Leif, Ph.D." <[log in to unmask]> said:

>Returning to Linux, the best way to increase the use of this operating
system
>is to provide it with a core written in Ada 95.

Are you sure this is the best way to proceed on operating system use of Ada?
We have had earlier threads on writing OS's in Ada which never went
anywhere.  I think that providing the same thing that is already available,
except coded in
Ada, will not convince anyone to go for it.

I have been looking around for alternative OS possibilities to do in Ada.
One which looks promising is the OS Toolkit being done at the University of
Utah
(see http://www.cs.utah.edu/projects/flux/oskit/ ) which could be redone in
Ada, providing a basis for POSIX-like operating systems or others.  I am
currently looking at that.

Another possibility is looking towards 64 bit PCs, where a window may be
open for alternatives ( :-) ) to Windows.  Does anyone know if the gcc
people are going to port to the 64 bit Intel chip?

>Yours, Bob Leif

--
------------------------------------------------------------------
Bruce Link                         |Team OS/2
[log in to unmask]                         |Team Ada
PGP fingerprint: 45 AB AD 29 89 B1 01 20  64 66 BF DB 7A B7 AD DF
------------------------------------------------------------------