Re: small libl4 fix

[Marcus Brinkmann]

At Wed, 23 Feb 2005 13:45:49 -0800,
Glen Kaukola <address@hidden> wrote:
> 
> [1  <text/plain; ISO-8859-1 (7bit)>]
> Hey there,
> 
> Here's a patch to fix a small typo in libl4/l4/compat/space.h.

Thanks, I applied it.  How about adding a ChangeLog entry (outside of
the patch) next time?

Also, it would be cool to have test cases, but that's probably quite a
burden until we have a more complete base.
 
> Also, I was wondering about L4_eXecutable and L4_ReadeXecOnly in that 
> file.  Maybe those are typos as well?  Seems to me like if you go with 
> the way everything else gets named, they should be called L4_Executable 
> and L4_ReadExecOnly respectively.

You underestimate the cleverness of the L4 designers...

See the specification.  The idea here is to highlight the RWX flags.
Now, you could also ask why they are not called RWE flags...

Thanks,
Marcus