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
..
Makefile	x86: iamcu: Add support for the IAMCU calling convention.	2016-02-05 20:25:06 -05:00
iamcu.S	iamcu: interrupts: fix comment	2016-02-05 20:25:29 -05:00
intstub.c	tickless idle x86: Tickless idle support on nanokernel for x86	2016-02-11 19:10:24 +00:00
swap.c	logger: support for iamcu abi core	2016-02-05 20:25:30 -05:00
thread.c	x86: iamcu: Add support for the IAMCU calling convention.	2016-02-05 20:25:06 -05:00