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
X-Google-Thread: 103376,216b18d81cce4f75
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-07-02 05:52:43 PST
Path: 
 archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news.tele.dk!194.25.134.62!newsfeed00.sul.t-online.de!t-online.de!join.news.pipex.net!pipex!news.kvaerner.com!news@kvaerner.com
From: "Tarjei T. Jensen" <tarjei.jensen@kvaerner.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada Microkernel?
Date: Mon, 2 Jul 2001 09:13:35 +0200
Organization: Kvaerner Group IT
Message-ID: <9hp6v1$6t3@news.kvaerner.com>
References: 
 <3B183CB8.3EE396E7@engineer.com><_M3S6.8957$HL5.1284411@news6-win.server.ntlworld.com><t1cS6.16384$DG1.3250771@news1.rdc1.mi.home.com><8DKS6.27593$%_1.4657414@news2-win.server.ntlworld.com><AGyU6.55016$DG1.9005577@news1.rdc1.mi.home.com><YSzU6.96$6d5.30076@news2-win.server.ntlworld.com><slrn9i6bu0.28n.gerhard.nospam@lilith.hqd-internal><lINU6.1857$6d5.626271@news2-win.server.ntlworld.com><0daV6.9332$6d5.1953313@news2-win.server.ntlworld.com>
 <wcck82i1u1v.fsf@world.std.com>
 <ZHlV6.18838$m4.94651@news6-win.server.ntlworld.com>
 <3B34AE89.FFBE39EF@ebox.tninet.se> <9heq45$j9f$1@wanadoo.fr>
 <3B3B6F8F.EAA0F196@online.no> <9hhlf6$q3u$1@wanadoo.fr>
NNTP-Posting-Host: 155.209.159.31
Mime-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
X-Newsreader: Microsoft Outlook Express 4.72.2120.0
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2120.0
Xref: archiver1.google.com comp.lang.ada:9324
Date: 2001-07-02T09:13:35+02:00
List-Id: <comp.lang.ada>


Fr�d�ric BOYER wrote
>I am not sure that all L4's implementation are written in assembly
language.
>Some implementation use c and c++. An Ada implementation could be very cool
>(for Ada and for us).

The basic L3 kernel core is written in assembly language. I assume that the
layers above is written in a high level language. I assume that L4 works the
same way.

Greetings,