# specify GNU-ARM root directory
GNUARM_ROOT = /pizza

# Do not modify below this part
TOPPERS_OSEK_SG_SOURCE := ./kernel_cfg.c
TOPPERS_OSEK_SG_HEADER := ./kernel_id.h
