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@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/genode-main > ------------------------------------------------------------------------------ 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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
