Re: Genode OS Framework version 17.05 released

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