Makefile.arm64 revision 281494 
1# Makefile.arm64 -- with config changes.
2# Copyright 1990 W. Jolitz
3#	from: @(#)Makefile.i386	7.1 5/10/91
4#	from FreeBSD: src/sys/conf/Makefile.i386,v 1.255 2002/02/20 23:35:49
5# $FreeBSD: head/sys/conf/Makefile.arm64 281494 2015-04-13 14:43:10Z andrew $
6#
7# Makefile for FreeBSD
8#
9# This makefile is constructed from a machine description:
10#	config machineid
11# Most changes should be made in the machine description
12#	/sys/arm64/conf/``machineid''
13# after which you should do
14#	 config machineid
15# Generic makefile changes should be made in
16#	/sys/conf/Makefile.arm64
17# after which config should be rerun for all machines.
18#
19
20# Which version of config(8) is required.
21%VERSREQ=	600012
22
23.if !defined(S)
24S=	../../..
25.endif
26.include "$S/conf/kern.pre.mk"
27
28INCLUDES+= -I$S/contrib/libfdt
29
30# We generally don't want fpu instructions in the kernel.
31CFLAGS += -mgeneral-regs-only
32
33# Reserve x18 for pcpu data
34CFLAGS += -ffixed-x18
35
36.if !empty(DDB_ENABLED)
37CFLAGS += -fno-omit-frame-pointer -mno-omit-leaf-frame-pointer
38.endif
39
40%BEFORE_DEPEND
41
42%OBJS
43
44%FILES.c
45
46%FILES.s
47
48%FILES.m
49
50%CLEAN
51
52%RULES
53
54.include "$S/conf/kern.post.mk"
55