Thank you. I wonder if they have shared their results with the community?
On 08.07.2016 01:23, Anna Lyons wrote:
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
--
Best Regards,
Rinat Dobrokhotov
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
