Allan Stephens 9b400e6f89 Update minimum microkernel footprint benchmark ... Revises the microkernel footprint benchmark project so that the minimum x86 configuration excludes support for the system timer. The resulting "tickless kernel" image is about 1200 bytes smaller (about 15%). Change-Id: Ie7be8427963818c7d0d75173d3da844722487f0b Signed-off-by: Allan Stephens <allan.stephens@windriver.com>		2016-02-05 20:13:49 -05:00
..
app_kernel	Remove LITE-related dependency for app_kernel benchmark	2016-02-05 20:13:49 -05:00
boot_time	samples: remove SECTION_GARBAGE_COLLECTION	2016-02-05 20:13:48 -05:00
footprint	Update minimum microkernel footprint benchmark	2016-02-05 20:13:49 -05:00
latency_measure	Remove references to Simics from README.txt files	2016-02-05 20:13:48 -05:00
sys_kernel	Remove references to Simics from README.txt files	2016-02-05 20:13:48 -05:00