Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - A index         

CONFIG_ARCH_VEXPRESS: ARMv8 software model (Versatile Express)

General informations

The Linux kernel configuration item CONFIG_ARCH_VEXPRESS has multiple definitions:

ARM Ltd. Versatile Express family found in arch/arm/Kconfig

The configuration item CONFIG_ARCH_VEXPRESS:

• prompt: ARM Ltd. Versatile Express family
• type: bool
• depends on: (none)
• defined in arch/arm/Kconfig
• found in Linux kernels: 2.6.35–2.6.39, 3.0–3.6

Help text

This enables support for the ARM Ltd Versatile Express boards.

ARM Ltd. Versatile Express family found in arch/arm/mach-vexpress/Kconfig

The configuration item CONFIG_ARCH_VEXPRESS:

• prompt: ARM Ltd. Versatile Express family
• type: bool
• depends on: CONFIG_ARCH_MULTI_V7
• defined in arch/arm/mach-vexpress/Kconfig
• found in Linux kernels: 3.7–3.9, 3.10-rc+HEAD

Help text

This option enables support for systems using Cortex processor based ARM core and logic (FPGA) tiles on the Versatile Express motherboard, for example:

- CoreTile Express A5x2 (V2P-CA5s) - CoreTile Express A9x4 (V2P-CA9) - CoreTile Express A15x2 (V2P-CA15) - LogicTile Express 13MG (V2F-2XV6) with A5, A7, A9 or A15 SMMs (Soft Macrocell Models) - Versatile Express RTSMs (Models)

You must boot using a Flattened Device Tree in order to use these platforms. The traditional (ATAGs) boot method is not usable on these boards with this option.

ARMv8 software model (Versatile Express) found in arch/arm64/Kconfig

The configuration item CONFIG_ARCH_VEXPRESS:

• prompt: ARMv8 software model (Versatile Express)
• type: bool
• depends on: (none)
• defined in arch/arm64/Kconfig
• found in Linux kernels: 3.10-rc+HEAD

Help text

This enables support for the ARMv8 software model (Versatile Express).

Hardware

LKDDb

Raw data from LKDDb:

• lkddb of "" "" "arm,vexpress-osc" : CONFIG_ARCH_VEXPRESS CONFIG_COMMON_CLK_VERSATILE : drivers/clk/versatile/clk-vexpress.c
• lkddb of "" "" "fixed-clock" : CONFIG_ARCH_VEXPRESS CONFIG_COMMON_CLK_VERSATILE : drivers/clk/versatile/clk-vexpress.c

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

• Linux kernel
• Linux Kernel Driver DataBase (LKDDb)

Automatic links from google (and ads)

Popular queries: