Hi Frederic
On Wed, 26 Sep 2001, Frédéric BOYER wrote:
Which plateform will you use to write P4 ? GNAT, x86 ?
Hmm, I'm afraid you misunderstood: P4 is our own microkernel. It implements the L4 API just like Fiasco and L4 (there are some small deviations, mostly because we have tried to keep machine dependencies out of the API). P4 currently exists for MIPS machines (R3000/R4000/R5000). Our plan is to use it as basis for the (GNAT) Ada implementation, so that should run on MIPS initially. We also plan to make a PowerPC version of P4 in parallel. Ideally, it should be possible to port the Ada runtime system to a different architecture with very little effort once the microkernel exists for that architecture, but that remains to be proven...
Please fell free to give my email to your student.
Thanks!
Cheers
Rob
---------------------------------------------------------------- Robert Kaiser email: rkaiser@sysgo.de SYSGO RTS GmbH Am Pfaffenstein 14 D-55270 Klein-Winternheim / Germany fax: (49) 6136 9948-10