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>
diff --git a/samples/microkernel/benchmark/footprint/README.txt b/samples/microkernel/benchmark/footprint/README.txt
index d4512e0..1509614 100644
--- a/samples/microkernel/benchmark/footprint/README.txt
+++ b/samples/microkernel/benchmark/footprint/README.txt
@@ -12,7 +12,8 @@
-------
- Idle task is only task in system.
- K_swapper is only fiber in system.
-- ISRs for the system timer and spurious interrupt handling are present.
+- No system timer support.
+- ISR for the spurious interrupt handling is present.
- IDT and stack memory sizes are very limited.
- Provides support for 2 task priorities.
@@ -23,7 +24,7 @@
- A statically linked dummy ISR is present.
- Has "foreground" task that prints a message to the console via printk().
- Provides support for 16 task priorities.
-- Enables task scheduler support for time slicing.
+- Supports system timer, along with task scheduler support for time slicing.
- Links in support for EVENT, MUTEX, FIFO, and MAP objects.
maximal (a "complex" image that has support for many kernel capabilities)
diff --git a/samples/microkernel/benchmark/footprint/prj_min_x86.conf b/samples/microkernel/benchmark/footprint/prj_min_x86.conf
index 5dac203..91431b8 100644
--- a/samples/microkernel/benchmark/footprint/prj_min_x86.conf
+++ b/samples/microkernel/benchmark/footprint/prj_min_x86.conf
@@ -2,7 +2,7 @@
CONFIG_ISR_STACK_SIZE=128
CONFIG_MAIN_STACK_SIZE=256
CONFIG_COMMAND_STACK_SIZE=2
-CONFIG_TIMESLICING=n
+CONFIG_SYS_CLOCK_TICKS_PER_SEC=0
CONFIG_PRINTK=n
CONFIG_EXTRA_SERIAL_PORT=n
CONFIG_IDT_NUM_VECTORS=48
