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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a7320735974e8186
X-Google-Attributes: gid103376,public
From: ken@world_nospam
Subject: Re: Linux Kernel in Ada?
Date: 1999/04/01
Message-ID: <7e15bt$c9p@drn.newsguy.com>#1/1
X-Deja-AN: 461788982
References: <7e0d36$i3m$1@nnrp1.dejanews.com>
 <7e0tvu$2av$1@nnrp1.dejanews.com>
Organization: Newsguy News Service [http://www.newsguy.com]
Newsgroups: comp.lang.ada
Date: 1999-04-01T00:00:00+00:00
List-Id: <comp.lang.ada>

>In article <7e0d36$i3m$1@nnrp1.dejanews.com>,
>  microbards@my-dejanews.com wrote:
> I have been casting about trying to find out if anyone is rewriting the Linux
> kernel in a high level language, such as Ada.
 
I was thinking of rewritting NT2000 in Ada. Since I do not have the
source code for NT2000, I was thinking of first writing or finding
some sort of dis-assempler that will generate assempler code from
the NT2000 beta-3 binaries, (I have access to the machine code instructions
table for intel), and then using those, write the Ada packages to generate the 
same assempler. This way, I can have NT2000 but in Ada.

any interest?

Ken