michaelh/zephyr
1
0
Fork 0
Code Releases Activity

Update galileo minimal footprint configuration

Browse source 
The galileo minimal footprint project requires at least 53 IDT entries
to accommodate the HPET.  This is due to the current algorithm used to
map an IRQ number to an interrupt vector.
            Interrupt vector = IRQ number + 0x20

Change-Id: I6de2cd72da631af04237615082823e7de65d8b22
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
This commit is contained in:
Peter Mitsis 2015-10-02 16:05:40 -04:00 • committed by Anas Nashif
commit ae448ff6ca
4 changed files with 23 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
samples/microkernel/benchmark/footprint/Makefile
View file

@ -4,7 +4,8 @@ PLATFORM_CONFIG ?= basic_atom
MDEF_FILE = micro_${TEST}.mdef
KERNEL_TYPE = micro
CONF_FILE = prj_$(TEST)_$(ARCH).conf
CONF_FILE = $(or $(wildcard prj_${TEST}_${ARCH}_${PLATFORM_CONFIG}.conf), \
$(wildcard prj_${TEST}_${ARCH}.conf))
CFLAGS += -DTEST_${TEST}
include ${ZEPHYR_BASE}/Makefile.inc

12
samples/microkernel/benchmark/footprint/prj_min_x86_galileo.conf Normal file
View file

@ -0,0 +1,12 @@
CONFIG_ISR_STACK_SIZE=128
CONFIG_MAIN_STACK_SIZE=256
CONFIG_COMMAND_STACK_SIZE=2
CONFIG_SYS_CLOCK_TICKS_PER_SEC=0
CONFIG_PRINTK=n
CONFIG_IDT_NUM_VECTORS=53
CONFIG_NUM_TASK_PRIORITIES=2
CONFIG_NUM_COMMAND_PACKETS=8
CONFIG_NUM_TIMER_PACKETS=4
CONFIG_MICROKERNEL_SERVER_STACK_SIZE=128
CONFIG_CONSOLE=n
CONFIG_SERIAL=n

3
samples/nanokernel/benchmark/footprint/Makefile
View file

@ -3,7 +3,8 @@ TEST ?= min
KERNEL_TYPE = nano
PLATFORM_CONFIG ?= basic_atom
CONF_FILE = prj_$(TEST)_$(ARCH).conf
CONF_FILE = $(or $(wildcard prj_$(TEST)_$(ARCH)_$(PLATFORM_CONFIG).conf), \
$(wildcard prj_$(TEST)_$(ARCH).conf))
CFLAGS += -DTEST_$(TEST)
include $(ZEPHYR_BASE)/Makefile.inc

7
samples/nanokernel/benchmark/footprint/prj_min_x86_galileo.conf Normal file
View file

@ -0,0 +1,7 @@
CONFIG_ISR_STACK_SIZE=128
CONFIG_MAIN_STACK_SIZE=128
CONFIG_SYS_CLOCK_TICKS_PER_SEC=0
CONFIG_PRINTK=n
CONFIG_IDT_NUM_VECTORS=53
CONFIG_CONSOLE=n
CONFIG_SERIAL=n