Hi all,<div><br></div><div>When the kernel receive a certain notification, I want to export some parameters to an user application and inform it to handle this notification.</div><div>How can I implement that in Barrelfish?</div>
<div><br></div><div>Should the application register a handler to the kernel? But I think the kernel can not call that handler directly.</div><div><br></div><div>Thanks,</div><div>Zhiquan</div>