Flexpage: shared Mem

[Adam Lackorzynski]

On Fri May 13, 2016 at 19:57:20 +0200, ba_f wrote:
> Nope,
> still the same ERR=9.
> 
> > I think this should look like this:
> >    l4_utcb_br()->br[0] = dataspace.cap() | L4_RCV_ITEM_SINGLE_CAP;
> >    l4_utcb_br()->bdr = 0;
> 
> 
> I think the cap() function is C++ only so left this out.
> Guess this ok since 'typedef l4_cap_idx_t l4re_ds_t;'
> 
> 
> /* server.c */
> 
>   l4re_ds_t dataspace = l4re_util_cap_alloc();
>   if (l4_is_invalid_cap( dataspace))
>     return 1;
> 
>   l4_utcb_br()->br[0] = dataspace | L4_RCV_ITEM_SINGLE_CAP;
>   l4_utcb_br()->bdr = 0;

Any progress? Hard to tell from just the snippets and without building a
test case. Did you find any difference to existing code?




Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/