Clean up microkernel sys_kernel configuration files
As no default platform configuration uses the PIC/PIT, the project configuration file 'prj_console_pc8253.conf' is no longer required. Change-Id: Ic91922e9431a2853bb5fdcdd3e31e39f3dce90c4 Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
This commit is contained in:
parent
21832e3bf1
commit
76db3ae424
|
@ -1,9 +1,7 @@
|
|||
PC8253_DEFCONFIGS = basic_minuteia
|
||||
|
||||
MDEF_FILE = prj.mdef
|
||||
KERNEL_TYPE = micro
|
||||
PLATFORM_CONFIG ?= basic_atom
|
||||
CONF_FILE = prj_console_$(if $(filter $(PLATFORM_CONFIG),$(PC8253_DEFCONFIGS)),pc8253,generic).conf
|
||||
CONF_FILE = prj.conf
|
||||
SOURCE_DIR = $(ZEPHYR_BASE)/samples/nanokernel/benchmark/sys_kernel/src/
|
||||
|
||||
include ${ZEPHYR_BASE}/Makefile.inc
|
||||
|
|
|
@ -1,12 +0,0 @@
|
|||
# Use standard security profile for maximum performance.
|
||||
CONFIG_ENHANCED_SECURITY=n
|
||||
|
||||
# all printf, fprintf to stdout go to console
|
||||
CONFIG_STDOUT_CONSOLE=y
|
||||
|
||||
CONFIG_NUM_COMMAND_PACKETS=50
|
||||
|
||||
# minimize timer interrupts during the benchmark
|
||||
# due the limitation of the i8253 divider register
|
||||
# system timer tick period can't be set long
|
||||
CONFIG_SYS_CLOCK_TICKS_PER_SEC=100
|
Loading…
Reference in New Issue