Hello, On 07.07.2016 07:29, Rinat Dobrokhotov wrote:
thank you for reply. Yes, we would like to display basic graphics using seL4. Our university team is interested in implementation of lightweight widget library for seL4. We think to start with the BeagleBone Black or Intel X86 platform, is there any suggestions?
we are currently in progress to improve our Genode/seL4 [0][1] support, namely update to 3.1 and enabling all our native device drivers for x86. One of the already working drivers, at least in Qemu, is our VESA driver beside others, like timer(PIT), USB, network and PS/2 driver. Under [2] you may find the current working branch, which is still in flux. We hope to get all our remaining x86 driver running until our Genode 16.08 release (see roadmap [3]), e.g. Intel graphic, Intel wifi and audio driver on native x86 hardware. Cheers, Alexander Boettcher. [0] http://genode.org/documentation/release-notes/15.05#Proof-of-concept_support... [1] http://genode.org/documentation/release-notes/16.02#seL4_version_2.1 [2] https://github.com/alex-ab/genode/commits/issue_sel4 [3] http://genode.org/about/road-map