Kconfig 1.3 KB
Newer Older
W
wenjun 已提交
1 2 3 4
config PLATFORM
    string
    default "hi3516dv300"     if PLATFORM_HI3516DV300
    default "hi3518ev300"     if PLATFORM_HI3518EV300
5
    default "virt"            if PLATFORM_QEMU_ARM_VIRT_CA7
W
wenjun 已提交
6 7 8 9 10 11 12 13

choice
    prompt "Board"
    default PLATFORM_HI3516DV300
    help
      IPC has several chips:
      hi3516dv300
      hi3518ev300
14 15
      Qemu ARM Virt variants (based on different CPU types):
      qemu_arm_virt_ca7
W
wenjun 已提交
16 17 18 19 20 21 22 23 24

config PLATFORM_HI3516DV300
    bool "hi3516dv300"
    select ARCH_CORTEX_A7

config PLATFORM_HI3518EV300
    bool "hi3518ev300"
    select ARCH_CORTEX_A7

25 26 27 28 29 30
config PLATFORM_QEMU_ARM_VIRT_CA7
    bool "qemu_arm_virt_ca7"
    select ARCH_CORTEX_A7
    help
        QEMU ARM Virtual Platform using Cortex-A7 CPU.

W
wenjun 已提交
31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58
endchoice

config TEE_ENABLE
    bool "ENABLE TEE"
    default n
    depends on PLATFORM_HI3516DV300
    help
        ENABLE teeos in platform

choice
    prompt "IRQCHIP"
    default PLATFORM_BSP_GIC_V2
    help
      Interrupt Controller.

config PLATFORM_BSP_GIC_V2
    bool "GIC Version 2"
    help
      This GIC(General Interrupt Controller) version 2 driver is compatatble with
      GIC version 1 and version 2.

config PLATFORM_BSP_GIC_V3
    bool "GIC Version 3"
    depends on ARCH_ARM_V8A || ARCH_ARM_V8R
    help
      General Interrupt Controller version 3.

endchoice