Re: URL for Ada Mircokernl?

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

On Thu, 5 Jul 2001 23:58:19 +0100, chris.danx <chris.danx@ntlworld.com> wrote:
>
>"Gerhard H�ring" <gerhard.nospam@bigfoot.de> wrote in message
>news:slrn9k9ihs.92d.gerhard.nospam@lilith.hqd-internal...
>> On Thu, 5 Jul 2001 20:49:55 +0100, chris.danx <chris.danx@ntlworld.com> wrote:
>> >Hi,
>> >
>> >Someone told me about ADX, an ada mircokernel, if you know the site url could
>> >you please post it?
>>
>> Hi Chris!
>>
>> I found it: http://site.voila.fr/ProjetADX/index.htm
>
>I've had a look and I'm not very good at french but i can make out some of it.
>(Actually i amazed myself with what i could actually remember of french).
>
>Are there any plans for an English page?

I am very new to their mailing list, so I am not in a position to comment on
anything like this. You might just join the list and ask. Or you could ask
Fr�d�ric Boyer (his email is on the page). He contacted me in PM a week or so
ago and said that he wants to create a microkernel in Ada and that he searches
motivated people who'd like to help.  That's how I got into contact with it.

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')))