[Barrelfish-users] ipi_notify_alloc fail: FLOUNDER_ERR_TX_BUSY

[Simon Peter]

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

Thanks! I've applied the patch.

Simon