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.