[Barrelfish-users] ipi_notify_alloc fail: FLOUNDER_ERR_TX_BUSY

Simon Peter speter at inf.ethz.ch
Wed May 9 14:23:38 CEST 2012


> Hi, I've modified the code accordingly. And now it works fine :-)
> FYI, here is my patch.

Thanks! I've applied the patch.

Simon



More information about the Barrelfish-users mailing list