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.