[seL4] Is there has any seL4 project support ARM Cortex-A7 ?

Robert VanVossen Robert.VanVossen at dornerworks.com
Tue May 16 23:11:27 AEST 2017


Joyce,

The ARM Cortex-A7 is feature-compatible with the Cortex-A15. We ran seL4 on the Cubietruck which is a dual-core Cortex-A7. Just enable CONFIG_ARM_CORTEX_A15 in your configuration.

Thanks,
Robbie VanVossen
DornerWorks, Ltd.

From: Devel [mailto:devel-bounces at sel4.systems] On Behalf Of Joyce Peng(???)
Sent: Monday, May 15, 2017 11:42 PM
To: devel at sel4.systems
Subject: [seL4] Is there has any seL4 project support ARM Cortex-A7 ?

Hi Everyone,

Is there has any seL4 project support ARM Cortex-A7 ?
I found seL4 official projects in below link.

https://github.com/seL4

https://github.com/SEL4PROJ


I use sel4test project that repo from https://github.com/seL4/sel4test-manifest.git

And I found Xilinx zynq7000 support ARM Cortex-A9 in sel4test like below.



File: sel4test/projects/sel4test/master-configs/zynq7000_release_xml_defconfig

#

# seL4 System

#

# CONFIG_ARCH_X86 is not set

CONFIG_ARCH_ARM=y

CONFIG_ARCH_AARCH32=y

# CONFIG_ARM1136JF_S is not set

# CONFIG_ARM_CORTEX_A8 is not set

CONFIG_ARM_CORTEX_A9=y

# CONFIG_ARM_CORTEX_A15 is not set

# CONFIG_PLAT_EXYNOS54XX is not set





I can’t find seL4 project support ARM cortex-A7. Does anyone find it?



Thanks,

Joyce Peng
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://sel4.systems/pipermail/devel/attachments/20170516/d4364638/attachment.html>


More information about the Devel mailing list