From: "Jeffrey D. Cherry" <jdcherry@utech.net>
Subject: Re: Linux Kernel in Ada. Repost
Date: 1999/04/08
Date: 1999-04-08T00:00:00+00:00 [thread overview]
Message-ID: <370CC730.4C6112DB@utech.net> (raw)
In-Reply-To: 7eg43i$d3b$1@nnrp1.dejanews.com
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.
Regards,
Jeffrey D. Cherry
Senior IV&V Analyst
Logicon Geodynamics
next prev parent reply other threads:[~1999-04-08 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 [this message]
1999-04-09 0:00 ` Corey Ashford
1999-04-09 0:00 ` Jeffrey D. Cherry
1999-04-09 0:00 ` me
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 ` 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-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-12 0:00 ` Robert Dewar
1999-04-12 0:00 ` Tarjei Tj�stheim Jensen
1999-04-12 0:00 ` Robert Dewar
1999-04-11 0:00 ` Linux Kernel in Ada. Repost Jerry van Dijk
1999-04-11 0:00 ` Robert Dewar
1999-04-14 0:00 ` Aidan Skinner
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-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