Hi Everyone,
Is there has any seL4 project support ARM Cortex-A7 ? I found seL4 official projects in below link.
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
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@sel4.systems] On Behalf Of Joyce Peng(???) Sent: Monday, May 15, 2017 11:42 PM To: devel@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.
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
Hi Robbie,
Many thanks for your explanation. Joyce is in a vacation thus cannot reply herself. I am on behalf of her to express our gratitude.
BRs, Jesse From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Robert VanVossen Sent: Tuesday, May 16, 2017 9:11 PM To: Joyce Peng(彭美僑); devel@sel4.systems Subject: Re: [seL4] Is there has any seL4 project support ARM Cortex-A7 ?
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@sel4.systems] On Behalf Of Joyce Peng(???) Sent: Monday, May 15, 2017 11:42 PM To: devel@sel4.systemsmailto:devel@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.
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
Hi Robbie,
Thanks for your help.
Joyce Peng
From: Jesse-SC Chou (周書正) Sent: Thursday, May 18, 2017 9:49 AM To: Robert VanVossen; Joyce Peng(彭美僑); devel@sel4.systems Subject: RE: [seL4] Is there has any seL4 project support ARM Cortex-A7 ?
Hi Robbie,
Many thanks for your explanation. Joyce is in a vacation thus cannot reply herself. I am on behalf of her to express our gratitude.
BRs, Jesse From: Devel [mailto:devel-bounces@sel4.systems] On Behalf Of Robert VanVossen Sent: Tuesday, May 16, 2017 9:11 PM To: Joyce Peng(彭美僑); devel@sel4.systemsmailto:devel@sel4.systems Subject: Re: [seL4] Is there has any seL4 project support ARM Cortex-A7 ?
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@sel4.systems] On Behalf Of Joyce Peng(???) Sent: Monday, May 15, 2017 11:42 PM To: devel@sel4.systemsmailto:devel@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.
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