| # ARM64-specific directories containing source files |
| # |
| SRCDIRS += arch/arm64/core |
| |
| # ARM64-specific flags |
| # |
| CFLAGS += -mlittle-endian -mcmodel=small |
| CFLAGS += -fomit-frame-pointer |
| ASFLAGS += -mabi=lp64 -EL |
| |
| # We want to specify the LP64 model. There is an explicit -mabi=lp64 |
| # on GCC 4.9 and later, and no guarantee as to which is the default |
| # model. In earlier versions of GCC, there is no -mabi option and the |
| # default appears to be LP64 anyway. |
| # |
| ifeq ($(CCTYPE),gcc) |
| LP64_TEST = $(CC) -mabi=lp64 -x c -c /dev/null -o /dev/null >/dev/null 2>&1 |
| LP64_FLAGS := $(shell $(LP64_TEST) && $(ECHO) '-mabi=lp64') |
| WORKAROUND_CFLAGS += $(LP64_FLAGS) |
| endif |
| |
| # EFI requires -fshort-wchar, and nothing else currently uses wchar_t |
| # |
| CFLAGS += -fshort-wchar |
| |
| # Include common ARM Makefile |
| MAKEDEPS += arch/arm/Makefile |
| include arch/arm/Makefile |
| |
| # Include platform-specific Makefile |
| # |
| MAKEDEPS += arch/arm64/Makefile.$(PLATFORM) |
| include arch/arm64/Makefile.$(PLATFORM) |
