519351ee92
Uses PLATFORM_CONFIG to specify the configuration file instead of
KBUILD_DEFCONFIG. This name is more intuitive to Zephyr users and
it is not tied to kbuild.
Example usage:
make PLATFORM_CONFIG=generic_pc_atom_n28xx
make PLATFORM_CONFIG=generic_pc_minuteia
make PLATFORM_CONFIG=quark
make PLATFORM_CONFIG=ti_lm3s6965
make PLATFORM_CONFIG=fsl_frdm_k64f
Change-Id: I177608942c3e77c2f152743c862aad1d460c0e33
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
10 lines
333 B
Makefile
10 lines
333 B
Makefile
PC8253_DEFCONFIGS = generic_pc_minuteia
|
|
|
|
MDEF_FILE = prj.mdef
|
|
KERNEL_TYPE = micro
|
|
PLATFORM_CONFIG ?= generic_pc_atom_n28xx
|
|
CONF_FILE = prj_console_$(if $(filter $(PLATFORM_CONFIG),$(PC8253_DEFCONFIGS)),pc8253,generic).conf
|
|
SOURCE_DIR = $(ZEPHYR_BASE)/samples/nanokernel/benchmark/sys_kernel/src/
|
|
|
|
include ${ZEPHYR_BASE}/Makefile.inc
|