Carlo Caione df4aa230c8 arch: arm64: Use _arch_switch() API ... Switch to the _arch_switch() API that is required for an SMP-aware scheduler instead of using the old arch_swap mechanism. SMP is not supported yet but this is a necessary step in that direction. Signed-off-by: Carlo Caione <ccaione@baylibre.com>		2020-09-05 12:06:38 +02:00
..
core	arch: arm64: Use _arch_switch() API	2020-09-05 12:06:38 +02:00
include	arch: arm64: Use _arch_switch() API	2020-09-05 12:06:38 +02:00
CMakeLists.txt	arch: arm: Remove extraneous root cmake files	2020-04-15 11:23:56 +02:00
Kconfig	arch: arm: Clean up configurations	2020-04-15 11:23:56 +02:00