Use subsystem id from devicetree.cb instead of Kconfig and move
[coreboot.git] / src / mainboard / intel / truxton / Kconfig
index 5a382d3088212f409e9b052b68e623728b4f1581..5f7de086e7c879e9dbcecc729672f56cac05cdfc 100644 (file)
@@ -1,5 +1,7 @@
-config BOARD_INTEL_TRUXTON
-       bool "EP80579 devkit (Truxton)"
+if BOARD_INTEL_TRUXTON
+
+config BOARD_SPECIFIC_OPTIONS # dummy
+       def_bool y
        select ARCH_X86
        select CPU_INTEL_EP80579
        select NORTHBRIDGE_INTEL_I3100
@@ -16,34 +18,17 @@ config BOARD_INTEL_TRUXTON
 config MAINBOARD_DIR
        string
        default intel/truxton
-       depends on BOARD_INTEL_TRUXTON
 
 config MAINBOARD_PART_NUMBER
        string
        default "Truxton"
-       depends on BOARD_INTEL_TRUXTON
-
-config HAVE_OPTION_TABLE
-       bool
-       default n
-       depends on BOARD_INTEL_TRUXTON
 
 config IRQ_SLOT_COUNT
        int
        default 1
-       depends on BOARD_INTEL_TRUXTON
-
-config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
-       hex
-       default 0x8086
-       depends on BOARD_INTEL_TRUXTON
-
-config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
-       hex
-       default 0x2680
-       depends on BOARD_INTEL_TRUXTON
 
 config MAX_CPUS
        int
        default 4
-       depends on BOARD_INTEL_TRUXTON
+
+endif # BOARD_INTEL_TRUXTON