Hi Chris, > 1. Does this release port in the newest seL4 kernel (4.4) or still the > 4.3.2?
The update of seL4 is scheduled for version 17.08. Please see our road map [1] for our planning. [1] http://genode.org/about/road-map > 2. Is there framebuffer support for AMD processors (if not, is there a > build with this target in mind)? Admittedly, I do not fully grasp the question. Are you referring to a particular AMD CPU with integrated graphics? As far as I know, graphics devices are usually realized as PCI devices and most cards support VESA. Have you tried our VESA driver with your device? We do not have a current ambition to focus specifically on AMD hardware in the immediate future. If there is commercial interest, of course we'd work on it as a commissioned project, but not on our own account. Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth ------------------------------------------------------------------------------ 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
