Any laptop or PC I compile Genode on that has an Intel CPU works fine for the framebuffer. Any PC or laptop I compile Genode on that has an AMD CPU the framebuffer doesn't work. So far from what we have been able to determine is there is not support for AMD's framebuffering and any sort of interaction using an AMD CPU has to be done with a serial port, not standard video output. If I am wrong in this conclusion, please correct me, but this is something we have actively found to be the case.
On Thu, Jun 1, 2017 at 9:59 AM, Norman Feske <norman.feske@...1...> wrote:
Hi Chris,
- 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
- 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