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@...172...net
https://lists.sourceforge.net/lists/listinfo/genode-main