Hello,
I think that the best way to "port" GNAT on top of L4 is to port GNARL and rewrite GNULL lib.
GNAT is the run time library but is almost portable. Modification in this package will be minor (Exception, interuption, etc).
GNULL (Low Level lib) have to be rewritten entierly. Actually GNULL is port on Pthead lib & win thread. There are minor port to jtk (an other implementation of thread on linux computer .. it's a native one) or FSU. There are also port on micro kernel as Ravenskar or Mach (See MarteOS project).
Maybe it could be cool to implements the GNULLI on top of L4, by define an interface beetween L4 & GNULLI to make it portable beetween implementation.
After we could write some servers to implements the entire GNAT lib and Posix 1003.5 binding. But it's another story. Some specialized annexes could be implemented too (Real time, Distributed sys, etc.)
best regards ..
Frederic.
___________________________________________________________ Do You Yahoo!? -- Un e-mail gratuit @yahoo.fr ! Yahoo! Courrier : http://fr.mail.yahoo.com