CONFIG_ARM_ARCH_TIMER cannot be enabled in the config directly; it is only
selected by CONFIG_HAVE_ARM_ARCH_TIMER. We need to enable the latter in
our config.
Signed-off-by: David Woodhouse <dwmw2@infradead.org>
Fixes:
|
||
|---|---|---|
| .. | ||
| base-files | ||
| config-5.10 | ||
| target.mk | ||