obj-$(CONFIG_SOC_EXYNOS5422) += gud-exynos5422/
obj-$(CONFIG_SOC_EXYNOS5430) += gud-exynos5430/
obj-$(CONFIG_SECURE_OS_CONTROL) += sec-os-ctrl/
