Hello, Could you tell me if framebuffer is released for seL4? -- Best Regards, Rinat Dobrokhotov
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.
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 [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.
Hi Rinat, Unfortunately we don’t currently have any display drivers available. In the past we’ve developed a simple bga (Bochs Graphics Adaptor) driver to use with qemu. But that is quite simple and doesn’t reflect what you’d need for a real graphics adaptor. Ihor.
On 7 Jul 2016, at 3:29 pm, Rinat Dobrokhotov <rad021993@yandex.ru> 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 [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.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
Hello, On 07.07.2016 07:29, Rinat Dobrokhotov wrote:
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?
we are currently in progress to improve our Genode/seL4 [0][1] support, namely update to 3.1 and enabling all our native device drivers for x86. One of the already working drivers, at least in Qemu, is our VESA driver beside others, like timer(PIT), USB, network and PS/2 driver. Under [2] you may find the current working branch, which is still in flux. We hope to get all our remaining x86 driver running until our Genode 16.08 release (see roadmap [3]), e.g. Intel graphic, Intel wifi and audio driver on native x86 hardware. Cheers, Alexander Boettcher. [0] http://genode.org/documentation/release-notes/15.05#Proof-of-concept_support... [1] http://genode.org/documentation/release-notes/16.02#seL4_version_2.1 [2] https://github.com/alex-ab/genode/commits/issue_sel4 [3] http://genode.org/about/road-map
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 [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.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-- Anna Lyons Kernel engineer / PhD Student DATA61 | CSIRO E anna.lyons@nicta.com.au 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.
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 [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.
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
--
Anna Lyons Kernel engineer / PhD Student DATA61 | CSIRO E anna.lyons@nicta.com.au 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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
-- Best Regards, Rinat Dobrokhotov
On Wed, Jul 6, 2016 at 10:29 PM, Rinat Dobrokhotov <rad021993@yandex.ru> 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?
One place to start is with Ubuntu or any working OS on your chosen platform and replace the graphics layers with your widget support. Next build some widget applications that allow you do something useful or interesting. Next graft the minimal graphics layer onto seL4. Yes you need a tty to type on. Next build a proof model and revise the above as needed. This gives you three+ tasks much of which can be run in parallel. With a BeagleBone you can let it boot to a text window and "type" startx. Your system could have "startWidget" script. Do map out what basic display is. As a minimum you need the equivalent of get_pixel and put_pixel. Modern boards like the BBB and Raspberry-Pi have graphics co-processors. Their basic feature set is not a frame buffer model. Look for VGA features. -- T o m M i t c h e l l
participants (6)
-
Alexander Boettcher -
Alexander Kroh -
Anna Lyons -
Ihor Kuz UNSW -
Rinat Dobrokhotov -
Tom Mitchell