forked from Minki/linux
1afde47d08
When CPU hotplugging is enabled, the user may want to remove the current CPU which is providing the timer ticks. If this happens we need to find a new timesync master. Signed-off-by: Helge Deller <deller@gmx.de> |
||
---|---|---|
.. | ||
boot | ||
configs | ||
include | ||
kernel | ||
lib | ||
math-emu | ||
mm | ||
defpalo.conf | ||
install.sh | ||
Kbuild | ||
Kconfig | ||
Kconfig.debug | ||
Makefile | ||
nm |