powerpc/p4080: enable support for PCIe SATA
[platform/kernel/u-boot.git] / include / configs / socfpga_cyclone5.h
index dc74ad0..608578a 100644 (file)
@@ -16,7 +16,6 @@
 #define CONFIG_SOCFPGA_VIRTUAL_TARGET
 
 #define CONFIG_ARMV7
-#define CONFIG_L2_OFF
 #define CONFIG_SYS_DCACHE_OFF
 #undef CONFIG_USE_IRQ
 
 #define TIMER_LOAD_VAL                 0xFFFFFFFF
 /* Timer info */
 #ifdef CONFIG_SOCFPGA_VIRTUAL_TARGET
-#define CONFIG_TIMER_CLOCK_KHZ         2400
+#define CONFIG_SYS_TIMER_RATE          2400000
 #else
-#define CONFIG_TIMER_CLOCK_KHZ         25000
+#define CONFIG_SYS_TIMER_RATE          25000000
 #endif
+#define CONFIG_SYS_TIMER_COUNTER       (CONFIG_SYS_TIMERBASE + 0x4)
 
 #define CONFIG_ENV_IS_NOWHERE