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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,b80f9d510e95d880
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-08-13 04:09:33 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!opentransit.net!wanadoo.fr!not-for-mail
From: antoine terrienne <antoine.terrienne@openwide.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada OS  : towards an Ada Micro-kernel
Date: Tue, 13 Aug 2002 13:08:56 +0200
Organization: Wanadoo, l'internet avec France Telecom
Message-ID: <3D58E8C8.7030100@openwide.fr>
References: <ajakjo$t02$1@clnews.edf.fr>
NNTP-Posting-Host: atuileries-102-2-1-226.abo.wanadoo.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: wanadoo.fr 1029236972 27129 193.251.178.226 (13 Aug 2002 11:09:32
 GMT)
X-Complaints-To: abuse@wanadoo.fr
NNTP-Posting-Date: 13 Aug 2002 11:09:32 GMT
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.0.0) Gecko/20020615 Debian/1.0.0-3
Xref: archiver1.google.com comp.lang.ada:27973
Date: 2002-08-13T11:09:32+00:00
List-Id: <comp.lang.ada>

OPERA wrote:
> Hello,
> 
> I have seen many discussions about using a micro-kernel such as L4 as a
> foundation for
> a new OS for ADA. I believe this can be a great idea, I would like to
> suggest some ideas
> about that :
> 
  *skip*
> But, for me, L4 primitives are not fully compatible with ADA
> requirements : in particular,
> they can't be used to implement multiple "select alternatives". As an
> example, we need new primitives
> that allow something like : Message_Accept( "list of entries").
> 

That's right. L4 provides only tasking and ipc. anything like
memory managing, mutexes, scheduling, IRQ managing, dynamic
linking etc.. should be provided by servers on top of L4

> Therefore, I believe that the creation of a new micro-kernel must follow
> two steps :
> 1. identify what primitives ADA needs, and their level of abstraction
> 2. try to implement them efficiency on a given machine (= to make a
> micro-kernel), by
> reusing if needed existing micro-kernel such as L4 or Hurd.
> 
> Any comment on this would be greatly appreciated !
> 
> Vincent Diemuunsch
> 

humm.. hurd is not a microkernel it is a collection of servers running
on top of gnumach. But mach is an old microkernel with low efficiency.
Hurd will be ported on L4 v4 (Pistachio) is the distant future as L4 is
the new generation microkernel (mush more efficient as it is mush more
minimal). for info on hurd on L4 see :
http://kerneltrap.org/node.php?id=157

For information there is a project (ADX) to build such an operating
system. Well for now there is noting done yet I stil work on the
specifications. http://antoine.terrienne.free.fr/adx/index.html

If you want to discuss about desinging an Ada os on top of L4 you are
also wellcome on the ADX mailing list :
http://fr.groups.yahoo.com/group/projet-adx/