Add TIZEN_AMLOGIC_USE_VENDOR_KERNEL config.
It's more claar than just using CONFIG_TIZEN.
If someone wants to use mainline kernel, just disable it.
Enable CONFIG_TIZEN_AMLOGIC_USE_VENDOR_KERNEL.
- odroid-{c4,n2}_defconfig
- khadas-{vim3,vim3l}_defconfig
Tizen is using each board's vendor kernel.
Change-Id: I2a11e3e08e58ced7ef286487044a1616ac3ac8f4
Signed-off-by: Jaehoon Chung <jh80.chung@samsung.com>
When boot on Tizen Platform, enable this configuration.
If you want to use mainline boot, disable this.
+config TIZEN_AMLOGIC_USE_VENDOR_KERNEL
+ bool "Use vendor kernel about Amlogic SoCs for Tizen"
+ help
+ Enable this configuration if use Vendor Linux Kernel.
endif
*/
void meson_init_reserved_memory(void *fdt)
{
-#ifndef CONFIG_TIZEN
+#ifndef CONFIG_TIZEN_AMLOGIC_USE_VENDOR_KERNEL
u64 bl31_size, bl31_start;
u64 bl32_size, bl32_start;
u32 reg;