Re: URL for Ada Mircokernl?

[gerhard.nospam@bigfoot.de (Gerhard Häring)]

On Thu, 05 Jul 2001 19:47:10 -0400, B. Douglas Hilton wrote:
>    Also check out MaRTE OS, a real-time kernel written in Ada that uses
>OSKit for its drivers. That is cool... using linux drivers with an Ada kernel.

Cool. I wasn't aware of this one.

>Ted Dennison wrote:
>
>> In article <sw317.5431$Jk6.1228849@news2-win.server.ntlworld.com>, chris.danx
>> says...
>> >Someone told me about ADX, an ada mircokernel, if you know the site url could
>> >you please post it?
>>
>> I've never heard of it. A quick google search netted me the following homepage:
>> http://fr.groups.yahoo.com/group/projet-adx/messages
>>
>> It appears to be a defunct egroups page, although its tough for me to tell
>> because the page is in french. (I *tried* to learn French in school, really I
>> did...)

The list archives aren't defunct. They are only set to members-only mode.
Getting an account is pretty painless, then il faut s'inscrire pour acc�der
l'archive ...

Gerhard
-- 
mail:   gerhard <at> bigfoot <dot> de       registered Linux user #64239
web:    http://highqualdev.com              public key at homepage
public key fingerprint: DEC1 1D02 5743 1159 CD20  A4B6 7B22 6575 86AB 43C0
reduce(lambda x,y:x+y,map(lambda x:chr(ord(x)^42),tuple('zS^BED\nX_FOY\x0b')))