IssueNo: #I3EPPI

Description: platform directory refactoring
Sig: kernel
Feature or Bugfix: Feature
Binary Source: No

platform/Kconfig

@@ -74,26 +74,6 @@ config TEE_ENABLE
     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
-
 config HRTIMER_ENABLE
     bool "HR TIMER enable"
     default y