Allan Stephens ed7a3d2724 Update minimum nanokernel footprint benchmark ... Revises the nanokernel footprint benchmark project so that the minimum x86 configuration explicitly excludes support for the system timer. (This doesn't actually save any memory, since timer support was already being excluded; however, the project now makes this lack more apparent, and does it the same way as the minimum microkernel benchmark project does it.) Change-Id: I509994bb640fee3208e4c1397a79cd134172370a Signed-off-by: Allan Stephens <allan.stephens@windriver.com>		2016-02-05 20:13:49 -05:00
arch	Remove remaining references to NLI	2016-02-05 20:13:48 -05:00
config	Remove NLI related kconfig options from BSPs	2016-02-05 20:13:48 -05:00
drivers
host
include	Allow memory pools to support tickless kernel	2016-02-05 20:13:49 -05:00
kernel	Allow microkernel timer code to support tickless kernel	2016-02-05 20:13:49 -05:00
lib/libc/minimal	build: Always enable section garbage collection flags	2016-02-05 20:13:48 -05:00
make	Revise dependencies for timer-related configuration options	2016-02-05 20:13:49 -05:00
misc
net
samples	Update minimum nanokernel footprint benchmark	2016-02-05 20:13:49 -05:00
scripts	Allow system generator to support tickless kernel	2016-02-05 20:13:49 -05:00
shared/include/nanokernel/x86
.gitattributes
.gitignore
.mailmap
vxmicro-env.bash