From: Corey Ashford <yeroca@rocketmail.com>
Subject: Re: Linux Kernel in Ada. Repost
Date: 1999/04/09
Date: 1999-04-09T00:00:00+00:00 [thread overview]
Message-ID: <370D7007.2D3AD58B@rocketmail.com> (raw)
In-Reply-To: 370CC730.4C6112DB@utech.net
"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
next prev parent reply other threads:[~1999-04-09 0:00 UTC|newest]
Thread overview: 47+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-04-07 0:00 Linux Kernel in Ada. Repost Bruce MacDonald
1999-04-07 0:00 ` Matthew Heaney
1999-04-08 0:00 ` Jeffrey D. Cherry
1999-04-09 0:00 ` Corey Ashford [this message]
1999-04-09 0:00 ` me
1999-04-09 0:00 ` Larry Kilgallen
1999-04-09 0:00 ` David Starner
1999-04-09 0:00 ` Brian Rogoff
1999-04-11 0:00 ` Robert Dewar
1999-04-12 0:00 ` Hans N. Beck
1999-04-09 0:00 ` Tarjei Tj�stheim Jensen
1999-04-09 0:00 ` bill_
1999-04-10 0:00 ` Tarjei Tj�stheim Jensen
1999-04-10 0:00 ` Mich
1999-04-10 0:00 ` Tarjei Tj�stheim Jensen
1999-04-11 0:00 ` Robert Dewar
1999-04-12 0:00 ` OpenToken project announcement dennison
1999-04-11 0:00 ` Linux Kernel in Ada. Repost Robert Dewar
1999-04-10 0:00 ` Kevin
1999-04-13 0:00 ` Harry Tanovich
1999-04-13 0:00 ` Robert Dewar
1999-04-11 0:00 ` Jerry van Dijk
1999-04-11 0:00 ` Jerry van Dijk
1999-04-11 0:00 ` Robert Dewar
1999-04-14 0:00 ` Aidan Skinner
1999-04-11 0:00 ` Robert Dewar
1999-04-10 0:00 ` mike
1999-04-11 0:00 ` Robert Dewar
1999-04-12 0:00 ` Samuel Mize
1999-04-13 0:00 ` Robert Dewar
1999-04-16 0:00 ` Samuel Mize
1999-04-11 0:00 ` Accessing C macro constants from Ada95 Markus Kuhn
1999-04-11 0:00 ` Jerry van Dijk
1999-04-12 0:00 ` Robert Dewar
1999-04-12 0:00 ` Tarjei Tj�stheim Jensen
1999-04-12 0:00 ` Robert Dewar
1999-04-12 0:00 ` Robert Dewar
1999-04-13 0:00 ` Markus Kuhn
1999-04-13 0:00 ` Robert Dewar
1999-04-13 0:00 ` dennison
1999-04-12 0:00 ` Aidan Skinner
1999-04-13 0:00 ` Robert Dewar
1999-04-09 0:00 ` Linux Kernel in Ada. Repost Jeffrey D. Cherry
1999-04-11 0:00 ` Robert Dewar
1999-04-12 0:00 ` Bruce MacDonald
1999-05-03 0:00 ` Buz Cory
1999-05-03 0:00 ` Hans N. Beck
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox