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
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-06-02 14:26:48 PST
Path: 
 archiver1.google.com!newsfeed.google.com!sn-xit-02!sn-post-01!supernews.com!corp.supernews.com!not-for-mail
From: "B. Douglas Hilton" <doug.hilton@engineer.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada Microkernel?
Date: Sat, 02 Jun 2001 17:31:14 -0400
Organization: Posted via Supernews, http://www.supernews.com
Message-ID: <3B195B22.AD530167@engineer.com>
X-Mailer: Mozilla 4.75 [en] (X11; U; Linux 2.4.3 i686)
X-Accept-Language: en
MIME-Version: 1.0
References: <3B183CB8.3EE396E7@engineer.com>
 <4nYR6.1524$v4.67644@www.newsranger.com>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Complaints-To: newsabuse@supernews.com
Xref: archiver1.google.com comp.lang.ada:8026
Date: 2001-06-02T17:31:14-04:00
List-Id: <comp.lang.ada>

Hi there. Well, the Mach sources are well-commented,
but they are C, use pointers heavily, and are just difficult
to understand, in my opinion. It is a monumental project
to become familiar with them, and they are very compact
compared to something like the Linux kernel.

Ted Dennison wrote:

> Out of curiosity, what's you problem with them?
> (I have never looked at them
> myself.)

See above.


> >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'd think the big
> issue would be getting acces to *any* microkernel sources.
> Adafiying things
> isn't really the hard part for someone who knows the language
> (its actually
> quite fun).

Well, GNUMach and Fiasco / L4 are available and are pretty cutting-edge.
Fiasco would be a good one to Adafy perhaps. Ideally, I would like to
convert Mach to Ada; however still provide the C api from mach.h

- Doug