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 <[email protected]> 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 [[email protected]] on behalf of Rinat Dobrokhotov >> [[email protected]] >> Sent: Wednesday, 6 July 2016 23:51 >> To: [email protected] >> Subject: [seL4] Frame buffer >> >> Hello, >> >> Could you tell me if framebuffer is released for seL4? >> >> -- >> Best Regards, >> Rinat Dobrokhotov >> >> >> _______________________________________________ >> Devel mailing list >> [email protected] >> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
