mirror of
https://github.com/ivoszbg/uniLoader.git
synced 2026-08-15 05:18:32 +00:00
e3bfa5e08d
On some MediaTek platforms, the cores' System Timers aren't initialized corectly by TEE, so we need to enable them manually, otherwise CNTVCT_EL0 will return 0, and any delay function will generate an infinite loop. Based on [1]. [1]: https://patchwork.kernel.org/project/linux-mediatek/patch/20220509210741.12020-3-angelogioacchino.delregno@collabora.com/ Signed-off-by: Alexandru Chimac <alex@chimac.ro>
32 lines
786 B
Plaintext
32 lines
786 B
Plaintext
menu "Drivers"
|
|
config EXYNOS_ACPM
|
|
bool "Support for Samsung Exynos ACPM block"
|
|
default n
|
|
help
|
|
Say Y if you have a device with the Samsung Exynos ACPM block.
|
|
|
|
config EXYNOS_SPEEDY
|
|
bool "Support for Samsung Exynos SPEEDY bus"
|
|
default n
|
|
help
|
|
Say Y if you have a device with the Samsung Exynos SPEEDY bus.
|
|
|
|
config MEDIATEK_MCUSYS
|
|
bool "Support for MediaTek MCUSYS"
|
|
depends on MEDIATEK
|
|
default n
|
|
help
|
|
Say Y if you have a device with a MediaTek SoC and need to use
|
|
hardware behind MCUSYS.
|
|
|
|
menuconfig TIMER
|
|
bool "Timer support"
|
|
default n
|
|
help
|
|
Say Y here to enable support for timer drivers. Enabling this
|
|
option alone won't add any code to the resulting binary.
|
|
|
|
source "drivers/timer/Kconfig"
|
|
|
|
endmenu
|