1include $(XEN_ROOT)/config/StdGNU.mk
2include $(XEN_ROOT)/extras/mini-os/Config.mk
3CFLAGS += $(DEF_CFLAGS) $(ARCH_CFLAGS)
4CPPFLAGS += $(DEF_CPPFLAGS) $(ARCH_CPPFLAGS) $(extra_incl)
5ASFLAGS += $(DEF_ASFLAGS) $(ARCH_ASFLAGS)
6LDFLAGS += $(DEF_LDFLAGS) $(ARCH_LDFLAGS)
7
8# Override settings for this OS
9PTHREAD_LIBS =
10nosharedlibs=y
11