Students of our AOS course have had success getting HDMI on the sabre lite[1] platform working in the past. The sabre lite is also our verification target platform, so is worth considering.
Cheers, Anna. [1] https://boundarydevices.com/product/sabre-lite-imx6-sbc/ On 7/07/2016 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 [[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 -- Anna Lyons Kernel engineer / PhD Student DATA61 | CSIRO E [email protected] www.data61.csiro.au CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61 ________________________________ 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
