Genode OS Framework version 17.05 released

Norman Feske norman.feske at ...1...
Thu Jun 1 15:59:44 CEST 2017

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.


> 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
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list