Re: libl4 test cases

[Neal H. Walfield]

At Wed, 9 Feb 2005 11:51:47 +0100,
Espen Skoglund wrote:
> 
> [B Douglas Hilton]
> > I was browsing the L4Ka site earlier, and they have listed but not
> > linked the PowerPC/64 architecture as being either supported or
> > under development. Assuming that the L4 kernel is made to run on
> > Cell, what are issues and challenges to making L4/Hurd also work?
> 
> If you were to use an IDL compiler for Hurd: absolutely nothing.

How does an IDL compiler encapsulate the architectural differences
which is what I think Douglas is referring to?  For instance, how
would an IDL compiler eliminate the need to write low-level locking
primitives, memory barriers and TLS support?

Thanks,
Neal