On Wed, Jul 6, 2016 at 10:29 PM, Rinat Dobrokhotov <rad021993@yandex.ru> wrote:

Hi Alexander,

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?

On 06.07.2016 19:18, Alexander Kroh wrote:

Hi Rinat,

Could you explain what you mean by framebuffer?

Are you speaking of support for a display device?
If so, which platform are you interested in?

One place to start is with Ubuntu or any working OS on your chosen platform and

replace the graphics layers with your widget support.

Next build some widget applications that allow you do something useful or interesting.

Next graft the minimal graphics layer onto seL4.
Yes you need a tty to type on.

Next build a proof model and revise the above as needed.

This gives you three+ tasks much of which can be run in parallel.

With a BeagleBone you can let it boot to a text window and "type" startx.
Your system could have "startWidget" script.

Do map out what basic display is. As a minimum you need the equivalent of get_pixel

and put_pixel. Modern boards like the BBB and Raspberry-Pi have graphics co-processors.
Their basic feature set is not a frame buffer model. Look for VGA features.

T o m M i t c h e l l