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$ 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