Supported ARM devices

[Stefan Kalkowski]

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

-- 
Stefan Kalkowski
Genode Labs

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