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,FREEMAIL_FROM,
	INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6413b417b806eb28
X-Google-Attributes: gid103376,public
From: Corey Ashford <yeroca@rocketmail.com>
Subject: Re: Linux Kernel in Ada. Repost
Date: 1999/04/09
Message-ID: <370D7007.2D3AD58B@rocketmail.com>#1/1
X-Deja-AN: 464294470
Content-Transfer-Encoding: 7bit
References: <7eg43i$d3b$1@nnrp1.dejanews.com> <370CC730.4C6112DB@utech.net>
X-Accept-Language: en
Content-Type: text/plain; charset=us-ascii
Organization: Rational Software
Mime-Version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-04-09T00:00:00+00:00
List-Id: <comp.lang.ada>

"Jeffrey D. Cherry" wrote:
> 
> Bruce MacDonald 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.
> > Is anyone else interested in a project like this? Would the Intermetrics C2Ada
> > tool be the appropriate starting place for this project?
> 
> I'd be interested ... sounds like fun.  I'm not sure about the C2Ada
> tool since I have no experience with it myself.  However, I don't see
> how it could hurt and at the very least would automate at least a
> portion of the process.
> 

I'd like to ask what the long-term goal of this would be?

Without a considerable amount of work, I don't know how you'd keep the Ada kernel
up with the C kernel.  About the only way that would happen is if you could convert
Torvald and his groupies to use Ada, and the chances of that are about nil at this
point, don't you think?

- Corey