Re: [PATCH] libl4 updates for PowerPC

[Peter Bruin]

Marcus Brinkmann <address@hidden> wrote:

> At Mon,  2 Aug 2004 15:49:58 +0200,
> Peter Bruin wrote:
> > These are a couple of (trivial) changes to libl4 to make it compile on
> > the PowerPC again.  They mostly seem to have to do with little changes
> > in the libl4 implementation after the PPC files were written.
> 
> Right.  When I made the major interface overhaul, I was exhausted and
> couldn't get myself to update the powerpc port, too.
> 
> Is this now a complete update to the new interface?  The best way to
> find out is to double-check with the ia32 port and the L4
> specification.  If yes, we can change the status comment in the
> README.

It's not complete yet; after comparing the code and the L4 specification (rev.
6), I found a handful of other things that still need to be changed.  I'm now
fixing those things, and after that I'll do a check with the ia32 port to make
sure everything is up to date.

Thanks,
Peter