Hello. My current task is to bring Genode, preferably with seL4 on ARM. Can you please provide me a list of supported ARM devices, or recommend an ARM device that would be the best suited for this task. Thank you.
Hi,
On 10/24/2016 06:43 PM, Yevgeny Lavrov wrote:
Hello. My current task is to bring Genode, preferably with seL4 on ARM. Can you please provide me a list of supported ARM devices, or recommend an ARM device that would be the best suited for this task. Thank you.
currently Genode runs (depending on the kernel) and is tested regularly on top of the following ARM hardware:
Rasperry PI (Broadcom BCM2835 SoC with ARM1176JZF-S) i.MX53 Quickstart board and SABRE tablet (i.MX53 SoC with Cortex A8) USB armory (i.MX53 SoC with Cortex A8) Pandaboard (OMAP 4430/4460 with Cortex A9) Wandboard Quad (i.MX6 SoC with Cortex A9) Odroid XU (Exynos 5410 SoC with Cortex A15) Arndale board (Exynos 5420 SoC with Cortex A15)
With respect to device drivers Genode supports the following peripherals:
Rasperry PI (SD-card, GPIO, USB host controller + USB HID, Ethernet) i.MX53 QSB (LCD Display, GPIO) i.MX53 tablet (LCD Display, Touchscreen, GPIO Buttons) USB armory (SD-card) Pandaboard (SD-card, GPIO, Framebuffer) Odroid XU (AHCI, SD-CARD, Framebuffer) Arndale (AHCI, SD-CARD, Framebuffer, USB, Ethernet)
(on all boards the kernel, either Fiasco.OC or our own, uses the main UART for logging and one timer for scheduling decisions)
We successfully used the following, additional hardware with QEMU:
ARM PBXA9 (Cortex A9 SoC, framebuffer, PS2, Ethernet) Xilinx Zynq (Cortex A9)
For i.MX53 we exemplary implemented support for TrustZone. On top of the Arndale we implemented basic support for hardware-assisted virtualization. Both implementations are part of our own HW kernel (meaning Genode's core running directly on hardware).
With respect to sel4/ARM, you can find information on this page:
https://wiki.sel4.systems/Hardware/General-ARM
Currently, I think Arndale, Odroid XU, or Pandaboard will be good options for you. In the near future, we plan to enhance support for NXP i.MX6. So then the SABRE Lite (i.MX6) supported by sel4 might be an option for you too.
Regards Stefan
Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Excellent, thank you for the information. It seems like Odroid-XU would be my best bet. However, I've one question about Odroid. Does Odroid-XU have Trustzone and does Genode support Odroid-XU4 (which appears to be less expensive, newer and smaller version of Odroid-XU)? Thanks.
On Tue, Oct 25, 2016 at 3:45 AM, Stefan Kalkowski < stefan.kalkowski@...1...> wrote:
Hi,
On 10/24/2016 06:43 PM, Yevgeny Lavrov wrote:
Hello. My current task is to bring Genode, preferably with seL4 on ARM.
Can
you please provide me a list of supported ARM devices, or recommend an
ARM
device that would be the best suited for this task. Thank you.
currently Genode runs (depending on the kernel) and is tested regularly on top of the following ARM hardware:
Rasperry PI (Broadcom BCM2835 SoC with ARM1176JZF-S) i.MX53 Quickstart board and SABRE tablet (i.MX53 SoC with Cortex A8) USB armory (i.MX53 SoC with Cortex A8) Pandaboard (OMAP 4430/4460 with Cortex A9) Wandboard Quad (i.MX6 SoC with Cortex A9) Odroid XU (Exynos 5410 SoC with Cortex A15) Arndale board (Exynos 5420 SoC with Cortex A15)
With respect to device drivers Genode supports the following peripherals:
Rasperry PI (SD-card, GPIO, USB host controller + USB HID, Ethernet) i.MX53 QSB (LCD Display, GPIO) i.MX53 tablet (LCD Display, Touchscreen, GPIO Buttons) USB armory (SD-card) Pandaboard (SD-card, GPIO, Framebuffer) Odroid XU (AHCI, SD-CARD, Framebuffer) Arndale (AHCI, SD-CARD, Framebuffer, USB, Ethernet)
(on all boards the kernel, either Fiasco.OC or our own, uses the main UART for logging and one timer for scheduling decisions)
We successfully used the following, additional hardware with QEMU:
ARM PBXA9 (Cortex A9 SoC, framebuffer, PS2, Ethernet) Xilinx Zynq (Cortex A9)
For i.MX53 we exemplary implemented support for TrustZone. On top of the Arndale we implemented basic support for hardware-assisted virtualization. Both implementations are part of our own HW kernel (meaning Genode's core running directly on hardware).
With respect to sel4/ARM, you can find information on this page:
https://wiki.sel4.systems/Hardware/General-ARM
Currently, I think Arndale, Odroid XU, or Pandaboard will be good options for you. In the near future, we plan to enhance support for NXP i.MX6. So then the SABRE Lite (i.MX6) supported by sel4 might be an option for you too.
Regards Stefan
Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-- Stefan Kalkowski Genode Labs
https://github.com/skalk · http://genode.org/
The Command Line: Reinvented for Modern Developers Did the resurgence of CLI tooling catch you by surprise? Reconnect with the command line and become more productive. Learn the new .NET and ASP.NET CLI. Get your free copy! http://sdm.link/telerik _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi,
On 11/01/2016 04:19 AM, Yevgeny Lavrov wrote:
Excellent, thank you for the information. It seems like Odroid-XU would be my best bet. However, I've one question about Odroid. Does Odroid-XU have Trustzone and does Genode support Odroid-XU4 (which appears to be less expensive, newer and smaller version of Odroid-XU)? Thanks.
TrustZone is part of most modern, rich ARM CPUs, also in case of the Exynos SoC of the Odroid XU. The more interesting question is whether you will able to use it, or whether the vendor already locked the device to run some firmware of their own.
In case of the Odroid XU, I did not practiced it myself, but when looking at some forum:
http://forum.odroid.com/viewtopic.php?f=65&t=5340
it seems you will be able to load your own secure software. But it might be that some functionality (e.g.:hardware errata fixup) is missing then, because it was part of Samsung's TrustZone blob.
With respect to the Odroid-XU4 alternative: no we never run Genode on top of it. Anyway it is a very similar SoC, and I'm confident that it will be easy to add board support for it to Genode. Probably, you will have to change the memory layout description within Genode.
Best regards Stefan
On Tue, Oct 25, 2016 at 3:45 AM, Stefan Kalkowski < stefan.kalkowski@...1...> wrote:
Hi,
On 10/24/2016 06:43 PM, Yevgeny Lavrov wrote:
Hello. My current task is to bring Genode, preferably with seL4 on ARM.
Can
you please provide me a list of supported ARM devices, or recommend an
ARM
device that would be the best suited for this task. Thank you.
currently Genode runs (depending on the kernel) and is tested regularly on top of the following ARM hardware:
Rasperry PI (Broadcom BCM2835 SoC with ARM1176JZF-S) i.MX53 Quickstart board and SABRE tablet (i.MX53 SoC with Cortex A8) USB armory (i.MX53 SoC with Cortex A8) Pandaboard (OMAP 4430/4460 with Cortex A9) Wandboard Quad (i.MX6 SoC with Cortex A9) Odroid XU (Exynos 5410 SoC with Cortex A15) Arndale board (Exynos 5420 SoC with Cortex A15)
With respect to device drivers Genode supports the following peripherals:
Rasperry PI (SD-card, GPIO, USB host controller + USB HID, Ethernet) i.MX53 QSB (LCD Display, GPIO) i.MX53 tablet (LCD Display, Touchscreen, GPIO Buttons) USB armory (SD-card) Pandaboard (SD-card, GPIO, Framebuffer) Odroid XU (AHCI, SD-CARD, Framebuffer) Arndale (AHCI, SD-CARD, Framebuffer, USB, Ethernet)
(on all boards the kernel, either Fiasco.OC or our own, uses the main UART for logging and one timer for scheduling decisions)
We successfully used the following, additional hardware with QEMU:
ARM PBXA9 (Cortex A9 SoC, framebuffer, PS2, Ethernet) Xilinx Zynq (Cortex A9)
For i.MX53 we exemplary implemented support for TrustZone. On top of the Arndale we implemented basic support for hardware-assisted virtualization. Both implementations are part of our own HW kernel (meaning Genode's core running directly on hardware).
With respect to sel4/ARM, you can find information on this page:
https://wiki.sel4.systems/Hardware/General-ARM
Currently, I think Arndale, Odroid XU, or Pandaboard will be good options for you. In the near future, we plan to enhance support for NXP i.MX6. So then the SABRE Lite (i.MX6) supported by sel4 might be an option for you too.
Regards Stefan
Check out the vibrant tech community on one of the world's most engaging tech sites, SlashDot.org! http://sdm.link/slashdot
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-- Stefan Kalkowski Genode Labs
https://github.com/skalk · http://genode.org/
The Command Line: Reinvented for Modern Developers Did the resurgence of CLI tooling catch you by surprise? Reconnect with the command line and become more productive. Learn the new .NET and ASP.NET CLI. Get your free copy! http://sdm.link/telerik _______________________________________________ genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Developer Access Program for Intel Xeon Phi Processors Access to Intel Xeon Phi processor-based developer platforms. With one year of Intel Parallel Studio XE. Training and support from Colfax. Order your platform today. http://sdm.link/xeonphi
genode-main mailing list genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Stefan Kalkowski -
Yevgeny Lavrov