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
