From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,216b18d81cce4f75,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-06-01 18:04:48 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!feed.textport.net!sn-xit-04!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "B. Douglas Hilton" <doug.hilton@engineer.com>
Newsgroups: comp.lang.ada
Subject: Ada Microkernel?
Date: Fri, 01 Jun 2001 21:09:12 -0400
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <3B183CB8.3EE396E7@engineer.com>
X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.4.3 i686)
X-Accept-Language: en
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:8003
Date: 2001-06-01T21:09:12-04:00
List-Id: <comp.lang.ada>

Hi group.

I'm I Debian Hurd hacker, and am thoroughly disgustapated
with the Mach sources. Recently I have been redoubling
my efforts to use more modern languages such as Ada and
Python in everything I do.

Are there any sample microkernels written in Ada, perhaps
for oskit? I think a kernel would ultimately really benefit from
being written in such a robust language as Ada.

I know this is way out of my league, but I'm sitting here dreaming
about rewriting GNUMach in Ada.

- Doug