From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,85034d1ac78a66eb
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-02-27 03:38:04 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!news.rediris.es!news.uv.es!news.upv.es!not-for-mail
From: Jorge Real <jorge@disca.upv.es>
Newsgroups: comp.lang.ada
Subject: Re: Ada Operating System
Date: Wed, 27 Feb 2002 12:30:55 +0100
Organization: DISCA-UPV
Message-ID: <3C7CC36F.FF6848C8@disca.upv.es>
References: <a4u9d00vqe@enews2.newsguy.com>
NNTP-Posting-Host: tardor.disca.upv.es
Mime-Version: 1.0
Content-Type: multipart/mixed;
 boundary="------------AA5075C8A37949D739DA81BF"
X-Trace: polaris.cc.upv.es 1014809168 17324 158.42.53.2 (27 Feb 2002 11:26:08
 GMT)
X-Complaints-To: newsmaster@upv.es
NNTP-Posting-Date: 27 Feb 2002 11:26:08 GMT
X-Mailer: Mozilla 4.78 [es] (Windows NT 5.0; U)
X-Accept-Language: es
Xref: archiver1.google.com comp.lang.ada:20508
Date: 2002-02-27T11:26:08+00:00
List-Id: <comp.lang.ada>

Este es un mensaje de varias partes en formato MIME.
--------------AA5075C8A37949D739DA81BF
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

You can take a look at 
  http://marte.unican.es 
for a real-time kernel on bare x86.

Jorge.

Dann Corbit ha escrito:
> 
> Has anyone tried to build a complete operating system in Ada?  Does anyone
> know of a paper or URL for such an effort?
> --
> C-FAQ: http://www.eskimo.com/~scs/C-faq/top.html
>  "The C-FAQ Book" ISBN 0-201-84519-9
> C.A.P. FAQ: ftp://cap.connx.com/pub/Chess%20Analysis%20Project%20FAQ.htm
--------------AA5075C8A37949D739DA81BF
Content-Type: text/x-vcard; charset=us-ascii;
 name="jorge.vcf"
Content-Transfer-Encoding: 7bit
Content-Description: Tarjeta para Jorge Real
Content-Disposition: attachment;
 filename="jorge.vcf"

begin:vcard 
n:Real S�ez;Jorge
tel;fax:+34 96 387 7579
tel;work:+34 96 387 9702
x-mozilla-html:FALSE
org:Universidad Polit�cnica de Valencia;Departamento de Inform�tica de Sistemas y Computadores
adr:;;Camino de Vera 14;Valencia;;E-46020;Spain
version:2.1
email;internet:jorge@disca.upv.es
fn:Jorge Real
end:vcard

--------------AA5075C8A37949D739DA81BF--