nios2: Split timer code into timer.c

[u-boot] / include / configs / jetson-tk1.h

diff --git a/include/configs/jetson-tk1.h b/include/configs/jetson-tk1.h
index 55ef5f8cc6ca4bec5b66a973df0a5cf76c499df9..e87a01047d30093fb8f3830adc9193117a3cad8c 100644 (file)
--- a/include/configs/jetson-tk1.h
+++ b/include/configs/jetson-tk1.h
@@ -16,7 +16,6 @@
 #include "tegra124-common.h"
 
 /* High-level configuration options */
-#define V_PROMPT                       "Tegra124 (Jetson TK1) # "
 #define CONFIG_TEGRA_BOARD_STRING      "NVIDIA Jetson TK1"
 
 /* Board-specific serial config */
@@ -79,4 +78,6 @@
 #define CONFIG_ARMV7_SECURE_BASE               0xfff00000
 #define CONFIG_ARMV7_SECURE_RESERVE_SIZE       0x00100000
 
+#define CONFIG_OF_BOARD_SETUP
+
 #endif /* __CONFIG_H */