Supported ARM devices

Discussion:

Yevgeny Lavrov

2016-10-24 16:43:51 UTC

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.

Stefan Kalkowski

2016-10-25 07:45:00 UTC

Permalink

Hi,

Post by Yevgeny Lavrov
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

Post by Yevgeny Lavrov
------------------------------------------------------------------------------
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
https://lists.sourceforge.net/lists/listinfo/genode-main

--
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/

Yevgeny Lavrov

2016-11-01 03:19:51 UTC

Permalink

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 <

Post by Stefan Kalkowski
Hi,

Post by Yevgeny Lavrov
Hello. My current task is to bring Genode, preferably with seL4 on ARM.

Can

Post by Yevgeny Lavrov
you please provide me a list of supported ARM devices, or recommend an

ARM

Post by Yevgeny Lavrov
device that would be the best suited for this task. Thank you.

currently Genode runs (depending on the kernel) and is tested regularly
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)
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)
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).
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

Post by Yevgeny Lavrov
------------------------------------------------------------

------------------

Post by Yevgeny Lavrov
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
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
https://lists.sourceforge.net/lists/listinfo/genode-main

Stefan Kalkowski

2016-11-01 07:45:38 UTC

Permalink

Hi,

Post by Yevgeny Lavrov
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

Post by Yevgeny Lavrov
On Tue, Oct 25, 2016 at 3:45 AM, Stefan Kalkowski <

Post by Stefan Kalkowski
Hi,

Post by Yevgeny Lavrov
Hello. My current task is to bring Genode, preferably with seL4 on ARM.

Can

Post by Yevgeny Lavrov
you please provide me a list of supported ARM devices, or recommend an

ARM

Post by Yevgeny Lavrov
device that would be the best suited for this task. Thank you.

Post by Yevgeny Lavrov
------------------------------------------------------------

------------------

--
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
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
https://lists.sourceforge.net/lists/listinfo/genode-main

--
Stefan Kalkowski
Genode Labs

https://github.com/skalk · http://genode.org/