* Linux Kernel in Ada?
@ 1999-04-01 0:00 microbards
1999-04-01 0:00 ` dennison
0 siblings, 1 reply; 10+ messages in thread
From: microbards @ 1999-04-01 0:00 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-01 0:00 Linux Kernel in Ada? microbards
@ 1999-04-01 0:00 ` dennison
1999-04-01 0:00 ` ken
1999-04-05 0:00 ` microbards
0 siblings, 2 replies; 10+ messages in thread
From: dennison @ 1999-04-01 0:00 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-01 0:00 ` dennison
@ 1999-04-01 0:00 ` ken
1999-04-01 0:00 ` Chris Morgan
1999-04-02 0:00 ` ddutheza
1999-04-05 0:00 ` microbards
1 sibling, 2 replies; 10+ messages in thread
From: ken @ 1999-04-01 0:00 UTC (permalink / raw)
>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
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-01 0:00 ` ken
@ 1999-04-01 0:00 ` Chris Morgan
1999-04-02 0:00 ` bglbv
1999-04-02 0:00 ` Corey Ashford
1999-04-02 0:00 ` ddutheza
1 sibling, 2 replies; 10+ messages in thread
From: Chris Morgan @ 1999-04-01 0:00 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-01 0:00 ` Chris Morgan
1999-04-02 0:00 ` bglbv
@ 1999-04-02 0:00 ` Corey Ashford
1 sibling, 0 replies; 10+ messages in thread
From: Corey Ashford @ 1999-04-02 0:00 UTC (permalink / raw)
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)
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-01 0:00 ` ken
1999-04-01 0:00 ` Chris Morgan
@ 1999-04-02 0:00 ` ddutheza
1 sibling, 0 replies; 10+ messages in thread
From: ddutheza @ 1999-04-02 0:00 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-01 0:00 ` Chris Morgan
@ 1999-04-02 0:00 ` bglbv
1999-04-02 0:00 ` Corey Ashford
1 sibling, 0 replies; 10+ messages in thread
From: bglbv @ 1999-04-02 0:00 UTC (permalink / raw)
[-- 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.
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-01 0:00 ` dennison
1999-04-01 0:00 ` ken
@ 1999-04-05 0:00 ` microbards
1999-04-05 0:00 ` Mike Silva
1 sibling, 1 reply; 10+ messages in thread
From: microbards @ 1999-04-05 0:00 UTC (permalink / raw)
> > 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
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-05 0:00 ` microbards
@ 1999-04-05 0:00 ` Mike Silva
1999-04-06 0:00 ` Samuel Mize
0 siblings, 1 reply; 10+ messages in thread
From: Mike Silva @ 1999-04-05 0:00 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: Linux Kernel in Ada?
1999-04-05 0:00 ` Mike Silva
@ 1999-04-06 0:00 ` Samuel Mize
0 siblings, 0 replies; 10+ messages in thread
From: Samuel Mize @ 1999-04-06 0:00 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~1999-04-06 0:00 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-04-01 0:00 Linux Kernel in Ada? microbards
1999-04-01 0:00 ` dennison
1999-04-01 0:00 ` ken
1999-04-01 0:00 ` Chris Morgan
1999-04-02 0:00 ` bglbv
1999-04-02 0:00 ` Corey Ashford
1999-04-02 0:00 ` ddutheza
1999-04-05 0:00 ` microbards
1999-04-05 0:00 ` Mike Silva
1999-04-06 0:00 ` Samuel Mize
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox