Lines Matching +full:no +full:- +full:temp +full:- +full:support
1 # Makefile.arm -- with config changes.
30 INCLUDES+= -I$S/contrib/libfdt -I$S/contrib/device-tree/include -I$S/dts/include
32 LINUX_DTS_VERSION!= awk '/freebsd,dts-version/ { sub(/;$$/,"", $$NF); print $$NF }' $S/dts/freebsd-…
33 CFLAGS += -DLINUX_DTS_VERSION=\"${LINUX_DTS_VERSION}\"
36 STRIP_FLAGS = -S
39 # We don't support gcc's thump interwork stuff, so disable it
40 CFLAGS.gcc += -mno-thumb-interwork
43 CFLAGS.clang += -mfpu=none
46 CFLAGS += -funwind-tables
60 --defsym='text_start=kernbase + SIZEOF_HEADERS' \
61 -o ${.TARGET} ${SYSTEM_OBJS} vers.o; \
63 --wildcard \
64 --strip-symbol='$$[adt]*' \
83 # Generate the .bin (no elf headers) kernel
86 # prepended), saving the output in a temp file.
90 # Cat the header blob and the temp file together to make the kernel.bin file.
92 @${OBJCOPY} --wildcard --strip-symbol='$$[adtx]*' \
93 --output-target=binary ${FULLKERNEL} ${.TARGET}.temp
96 ${AWK} -f $S/tools/arm_kernel_boothdr.awk -v hdrtype=v7jump && \
97 cat ${.TARGET}.temp; \
99 @rm ${.TARGET}.temp