1# Firmware is a 32-bit target
2override XEN_TARGET_ARCH = x86_32
3
4# User-supplied CFLAGS are not useful here.
5CFLAGS =
6EXTRA_CFLAGS_XEN_TOOLS =
7
8include $(XEN_ROOT)/tools/Rules.mk
9
10ifneq ($(debug),y)
11CFLAGS += -DNDEBUG
12endif
13
14CFLAGS += -Werror
15
16$(call cc-options-add,CFLAGS,CC,$(EMBEDDED_EXTRA_CFLAGS))
17
18# Extra CFLAGS suitable for an embedded type of environment.
19CFLAGS += -fno-builtin -msoft-float
20