Fixed bug with setting parameters properly for the self_notify trap
[akaros.git] / OVERVIEW