Hi,
Can someone check DDE is still working on a real PC target?  I am using fiasco.oc and 64bit but I think the problem is across kernels.   Basically my issue is that DHCP is not working and it appears that the rx interrupt is not firing (according to foc jdb).  I've tried the latest genode with run/lwip.

Daniel