Linux Kernel in Ada?

Linux Kernel in Ada?

[microbards]

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 there any interest in a project like this?

Would the Intermetrics C2Ada tool be the appropriate starting place for this
project?

Thank you,
Bruce MacDonald

Next week on Wishbone: Gravity's Rainbow.


-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own    

Re: Linux Kernel in Ada?

[dennison]

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.
>
> Is there any interest in a project like this?
>
> Would the Intermetrics C2Ada tool be the appropriate starting place for this
> project?

Hmm. If you are serious about this, you may want to repost it tomorrow.

T.E.D.

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own    

Re: Linux Kernel in Ada?

[ken]

>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 

Re: Linux Kernel in Ada?

[Chris Morgan]

ken@world_nospam writes:

> 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?

If you generate the same assembler, not much.
-- 
Chris Morgan <mihalis at ix.netcom.com                http://mihalis.net
     "Faced with the prospect of re-reading this book, I would rather
      have my brains ripped out by a plastic fork"
              - ZDNet author Charles Cooper on Bill Gates new book

Re: Linux Kernel in Ada?

[Corey Ashford]

Chris Morgan wrote:
> 
> ken@world_nospam writes:
> 
> > 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?
> 
> If you generate the same assembler, not much.
> --
> Chris Morgan <mihalis at ix.netcom.com                http://mihalis.net
>      "Faced with the prospect of re-reading this book, I would rather
>       have my brains ripped out by a plastic fork"
>               - ZDNet author Charles Cooper on Bill Gates new book

I was thinking of doing the same sort of thing with CP-M/86.  Then I could
have wonderful CP-M but written in Ada!  Any interest?

- Corey

(doh!  it's after midnight on April 2nd... oh well)

Re: Linux Kernel in Ada?

[bglbv]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 870 bytes --]

Chris Morgan <mihalis@ix.netcom.com> writes:

> ken@world_nospam writes:
> > 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?

> If you generate the same assembler, not much.

Thank you for pointing out the obvious.
Anyway, ken's suggestion reminds me of

(a) Jorge Luis Borges' story on "Pierre M�nard, author of Don Quijote";
(b) the explosive news broken to this group by M. Kempe three years
ago almost to the day that Windows TNT would be written in Ada.

Re: Linux Kernel in Ada?

[ddutheza]

In article <7e15bt$c9p@drn.newsguy.com>, ken@world_nospam says...
>
>>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 
>
There is a project that is called Freedows98 and is supposed to be able to run 
MS-applications. However, I do not know which code they are using but the 
system like Linux will be open source.
				Didier Utheza

Re: Linux Kernel in Ada?

[microbards]

> > 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 there any interest in a project like this?
> >
> > Would the Intermetrics C2Ada tool be the appropriate starting place for this
> > project?
>
> Hmm. If you are serious about this, you may want to repost it tomorrow.
>
> T.E.D.

Entirely serious.

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own    

Re: Linux Kernel in Ada?

[Mike Silva]

microbards@my-dejanews.com wrote in message
<7eav8j$53q$1@nnrp1.dejanews.com>...
>
>>> I have been casting about trying to find out if anyone is rewriting the
>>> Linux kernel in a high level language, such as Ada.
>
>Entirely serious.


Given the current exitement over Linux, this might be a way to help insert
Ada into the "mainstream", or at least into the awareness of more
programmers.  I don't think it's a silly idea at all.

Mike

Re: Linux Kernel in Ada?

[Samuel Mize]

Mike Silva <mjsilva@jps.net> wrote:
> microbards@my-dejanews.com wrote in message
> <7eav8j$53q$1@nnrp1.dejanews.com>...
>>
>>>> I have been casting about trying to find out if anyone is rewriting the
>>>> Linux kernel in a high level language, such as Ada.
>>
>>Entirely serious.
> 
> 
> Given the current exitement over Linux, this might be a way to help insert
> Ada into the "mainstream", or at least into the awareness of more
> programmers.  I don't think it's a silly idea at all.

I agree, it isn't silly.  People were unsure because it was posted
on or about April Fool's Day.

I don't know that reworking the existing kernel in another language
will buy you a lot, though -- it would not benefit from the development
work in the main line of development, you'd always be playing catch-up
on new features, and there would be almost no motive for people to
switch over to it.

Bruce, you might consider developing a binding to the existing kernel,
and trying to coordinate an effort to write interesting tools in Ada.

Best,
Sam Mize

-- 
Samuel Mize -- smize@imagin.net (home email) -- Team Ada
Fight Spam: see http://www.cauce.org/ \\\ Smert Spamonam