Sergio Rodriguez 4dee326306 tickless idle x86: Tickless idle support on nanokernel for x86 ... Modifications to timer drivers and interrupt setup, to manage the tickless idle for the x86 architecture Change-Id: Ie02d484b7e5636de6ea382ba2eeed57e704c8498 Signed-off-by: Sergio Rodriguez <sergio.sf.rodriguez@intel.com>		2016-02-11 19:10:24 +00:00
..
arc	Move compiler optimization to the SoC	2016-02-05 20:25:29 -05:00
arm	ARM: rebase available priority levels to 0	2016-02-08 21:47:35 -05:00
x86	tickless idle x86: Tickless idle support on nanokernel for x86	2016-02-11 19:10:24 +00:00
Kconfig	tickless idle x86: Tickless idle support on nanokernel for x86	2016-02-11 19:10:24 +00:00
Makefile	arc: add missing Kconfig/Makefiles to architecture	2016-02-05 20:14:26 -05:00