I think you are right.

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

But the main goal of the project is to provide an micro kernel made for Ada
( with thread, adapted memory model, IPC support for thread sync/data
transfert), with (soft) RT capability. kernel will also support Ada RM
annexes (Distributed systems, System programming, R.T.).

Maybe we will provide a L4 emulation, or L4 support, but it was not the
preliminary goal of the project.

Best regards ..

frederic.


"Tarjei Tj�stheim Jensen" <tarjei@online.no> a �crit dans le message news:
3B3B6F8F.EAA0F196@online.no...
> Fr�d�ric BOYER wrote:
> > For the moment we try to status which microkernel model we gonna to take
:
> > Mach ou make a L4 clone in Ada ..
>
> L4 clone. Mach has had its day. It supposedly was not a very good
> microkernel either. All the interesting developments in microkernels
> happened after mach was released :-)
>
> The L4 approach is to write at least the core kernel in assembly
> language and then use a high level language to create the rest of the
> system. That may limit the kind of hardware on which your kernel might
> run on. That need not be a disadvantage if you target SMP boards. Being
> SMP ready out of the box would be cool.
>
> BTW It might be useful to use a BSD license for such a project. That way
> you can graft on one of the BSD kernels onto the microkernel. And you
> might have a fair chance of attracting developers.
>
>
> Greetings,