interrupts on AMD hardware

[Nobody III]

Has anyone gotten any Genode drivers to work on computers with AMD
processors? The only one that I've gotten to work was fb_drv, which doesn't
need to receive interrupts. The other 2 drivers that I've tried recently,
usb_drv and ahci_drv, both hang. Has anyone had better compatibility here?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180402/9bb4f113/attachment.html>