1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * Copyright (C) 2013 Samsung Electronics 4 * 5 * Common configuration settings for the SAMSUNG EXYNOS boards. 6 */ 7 8 #ifndef __EXYNOS_COMMON_H 9 #define __EXYNOS_COMMON_H 10 11 #include <asm/arch/cpu.h> /* get chip and board defs */ 12 #include <linux/sizes.h> 13 #include <linux/stringify.h> 14 15 /* Keep L2 Cache Disabled */ 16 17 /* input clock of PLL: 24MHz input clock */ 18 19 /* select serial console configuration */ 20 21 /* Miscellaneous configurable options */ 22 23 #endif /* __CONFIG_H */ 24