Re: [PATCH] More libl4 updates

[Marcus Brinkmann]

At Wed,  4 Aug 2004 23:35:56 +0200,
Peter Bruin <address@hidden> wrote:
> Here is an update for libl4 to conform to the latest L4 specification
> from l4ka.org.  The only machine-independent changes are the removal
> of the parameter `control' of the processor_control system call and a
> small bugfix in schedule.h; the rest is PowerPC-specific.  I've
> compared the libl4 code to the specification, and also the powerpc
> code to the ia32 code.  All these things seems to be consistent now.

Excellent.  I checked it in and updated the TODO.  Maybe it's a good
idea to check it again against l4-x2-20040823.  It's more important
that it is consistent with pistachio 0.4, though.

> P.S.  The fix for a bug in l4/gnu/misc.h in a previous patch seems to
> have been inadvertently omitted (the rest of the patch was applied).
> It is again in this patch.

Yeah, I must have gotten confused with emacs' diff mode.

Thanks,
Marcus