interrupts on AMD hardware

[Steven Harp]

One of our test boards [1] uses an AMD G-series (GX-424).
Framebuffer, Intel Ethernet, serial, and USB all seem to work
with both and Nova and seL4 microkernels (this was Genode 17.05 iirc).

// Steve Harp

[1] https://www.ieiworld.com/en/product/model.php?II=563

On 4/2/18 4:05 AM, Nobody III wrote:
> 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?
> 
> 
> 
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> 
> 
> 
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>