Genode OS Framework version 17.05 released
norman.feske at ...1...
Thu Jun 1 15:59:44 CEST 2017
> 1. Does this release port in the newest seL4 kernel (4.4) or still the
The update of seL4 is scheduled for version 17.08. Please see our road
map  for our planning.
> 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.
Dr.-Ing. Norman Feske
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
More information about the users