Re: wortel.h patch

[Marcus Brinkmann]

At Sat, 08 Jan 2005 22:23:41 +0100,
Bas Wijnen <address@hidden> wrote:
> Here's a small patch to change grants to maps in wortel.h.  I guess this 
> was overlooked when wortel.c was changed to do mapping instead of 
> granting.

Yes, good catch.

> I have used this some time ago, and it worked back then.  As 
> these items are only used for receiving memory, I can't imagine it 
> making a difference anyway, as long as there is no type checking for 
> this in L4 (and appearantly there isn't, otherwise it wouldn't have 
> worked without this patch).

Unfortunately, the code even breaks the strict aliasing rules (I use
l4_word_t * a bit like a char * here --- with char * it would work, but
not with l4_wort_t * mpfh).

> As a side note: can hurd-l4 bugs also be reported through savannah, or 
> is that only meant for the mach port?

I could make a category for that, if you think it is useful (ie, if
you want to use it).
 
> I also noticed that I had some spelling corrections of 
> libhurd-cap-server/README in my tree, I'm attaching a patch with those 
> as well.

Applied as well.

Thanks,
Marcus