I can&#39;t handle GPIO IRQ. I check my previous driver for Gumstix Overo. It doesn&#39;t work too in current snapshot Genode from git. I revert my fork to state before merging your master and this driver is working.<div><br>
<div>--<br>Ivan Loskutov<br>
<br></div></div>