Re: [seL4] Frame buffer

Hi Rinat, Unfortunately we don’t currently have any display drivers available. In the past we’ve developed a simple bga (Bochs Graphics Adaptor) driver to use with qemu. But that is quite simple and doesn’t reflect what you’d need for a real graphics adaptor. Ihor.

On 7 Jul 2016, at 3:29 pm, Rinat Dobrokhotov 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?

- Alex Kroh

________________________________________ From: Devel [devel-bounces@sel4.systems] on behalf of Rinat Dobrokhotov [rad021993@yandex.ru] Sent: Wednesday, 6 July 2016 23:51 To: devel@sel4.systems Subject: [seL4] Frame buffer

Hello,

Could you tell me if framebuffer is released for seL4?

-- Best Regards, Rinat Dobrokhotov

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel

________________________________

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel