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