blob: 9296cbf3f1f5d3fbd5a3e2e1abc4cb9a0749f7c3 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001#
2# This file is subject to the terms and conditions of the GNU General Public
3# License. See the file "COPYING" in the main directory of this archive
4# for more details.
5#
6# Copyright (C) 1994, 95, 96, 2003 by Ralf Baechle
7# DECStation modifications by Paul M. Antoine, 1996
8# Copyright (C) 2002, 2003, 2004 Maciej W. Rozycki
9#
10# This file is included by the global makefile so that you can add your own
11# architecture-specific flags and dependencies. Remember to do have actions
12# for "archclean" cleaning up for this architecture.
13#
14
Adrian Bunkde0c1692008-02-26 21:54:54 +020015KBUILD_DEFCONFIG := ip22_defconfig
16
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#
18# Select the object file format to substitute into the linker script.
19#
20ifdef CONFIG_CPU_LITTLE_ENDIAN
Ralf Baechle17f690b2007-10-22 19:10:57 +01002132bit-tool-archpref = mipsel
2264bit-tool-archpref = mips64el
Linus Torvalds1da177e2005-04-16 15:20:36 -07002332bit-bfd = elf32-tradlittlemips
2464bit-bfd = elf64-tradlittlemips
2532bit-emul = elf32ltsmip
2664bit-emul = elf64ltsmip
27else
Ralf Baechle17f690b2007-10-22 19:10:57 +01002832bit-tool-archpref = mips
2964bit-tool-archpref = mips64
Linus Torvalds1da177e2005-04-16 15:20:36 -07003032bit-bfd = elf32-tradbigmips
3164bit-bfd = elf64-tradbigmips
3232bit-emul = elf32btsmip
3364bit-emul = elf64btsmip
34endif
35
Ralf Baechle875d43e2005-09-03 15:56:16 -070036ifdef CONFIG_32BIT
Ralf Baechle17f690b2007-10-22 19:10:57 +010037tool-archpref = $(32bit-tool-archpref)
Linus Torvalds1da177e2005-04-16 15:20:36 -070038UTS_MACHINE := mips
39endif
Ralf Baechle875d43e2005-09-03 15:56:16 -070040ifdef CONFIG_64BIT
Ralf Baechle17f690b2007-10-22 19:10:57 +010041tool-archpref = $(64bit-tool-archpref)
Linus Torvalds1da177e2005-04-16 15:20:36 -070042UTS_MACHINE := mips64
43endif
44
Ralf Baechle17f690b2007-10-22 19:10:57 +010045ifneq ($(SUBARCH),$(ARCH))
46 ifeq ($(CROSS_COMPILE),)
Maciej W. Rozycki32479892007-11-12 17:30:52 +000047 CROSS_COMPILE := $(call cc-cross-prefix, $(tool-archpref)-linux- $(tool-archpref)-linux-gnu- $(tool-archpref)-unknown-linux-gnu-)
Ralf Baechle17f690b2007-10-22 19:10:57 +010048 endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070049endif
50
Wu Zhangjind2bb07622009-11-20 20:34:29 +080051ifndef CONFIG_FUNCTION_TRACER
Ralf Baechle05e41402009-04-28 19:38:35 +020052cflags-y := -ffunction-sections
Wu Zhangjind2bb07622009-11-20 20:34:29 +080053endif
Wu Zhangjin7326c4e2009-11-20 20:34:38 +080054ifdef CONFIG_FUNCTION_GRAPH_TRACER
55 ifndef KBUILD_MCOUNT_RA_ADDRESS
56 ifeq ($(call cc-option-yn,-mmcount-ra-address), y)
57 cflags-y += -mmcount-ra-address -DKBUILD_MCOUNT_RA_ADDRESS
58 endif
59 endif
60endif
Ralf Baechle1a4ba062009-04-28 19:28:33 +020061cflags-y += $(call cc-option, -mno-check-zero-division)
Ralf Baechle05e41402009-04-28 19:38:35 +020062
Ralf Baechle81450952006-02-22 23:06:55 +000063ifdef CONFIG_32BIT
Linus Torvalds1da177e2005-04-16 15:20:36 -070064ld-emul = $(32bit-emul)
65vmlinux-32 = vmlinux
66vmlinux-64 = vmlinux.64
Ralf Baechle59b3e8e2006-03-08 11:35:00 +000067
68cflags-y += -mabi=32
Ralf Baechle81450952006-02-22 23:06:55 +000069endif
Linus Torvalds1da177e2005-04-16 15:20:36 -070070
Ralf Baechle81450952006-02-22 23:06:55 +000071ifdef CONFIG_64BIT
Ralf Baechle81450952006-02-22 23:06:55 +000072ld-emul = $(64bit-emul)
73vmlinux-32 = vmlinux.32
74vmlinux-64 = vmlinux
75
Ralf Baechle59b3e8e2006-03-08 11:35:00 +000076cflags-y += -mabi=64
Ralf Baechle59b3e8e2006-03-08 11:35:00 +000077endif
78
Ralf Baechle8496b402007-07-28 13:27:21 +010079all-$(CONFIG_BOOT_ELF32) := $(vmlinux-32)
80all-$(CONFIG_BOOT_ELF64) := $(vmlinux-64)
Wu Zhangjin1b93b3c2009-10-14 18:12:16 +080081all-$(CONFIG_SYS_SUPPORTS_ZBOOT)+= vmlinuz
Linus Torvalds1da177e2005-04-16 15:20:36 -070082
83#
84# GCC uses -G 0 -mabicalls -fpic as default. We don't want PIC in the kernel
85# code since it only slows down the whole thing. At some point we might make
86# use of global pointer optimizations but their use of $28 conflicts with
87# the current pointer optimization.
88#
89# The DECStation requires an ECOFF kernel for remote booting, other MIPS
90# machines may also. Since BFD is incredibly buggy with respect to
91# crossformat linking we rely on the elf2ecoff tool for format conversion.
92#
Linus Torvalds1da177e2005-04-16 15:20:36 -070093cflags-y += -G 0 -mno-abicalls -fno-pic -pipe
Ralf Baechle6218cf42006-03-08 17:14:49 +000094cflags-y += -msoft-float
Thiemo Seufer9f83d832005-02-21 11:22:15 +000095LDFLAGS_vmlinux += -G 0 -static -n -nostdlib
Linus Torvalds1da177e2005-04-16 15:20:36 -070096MODFLAGS += -mlong-calls
97
Ralf Baechle72fbfb262006-06-07 13:25:37 +010098cflags-y += -ffreestanding
99
Thiemo Seuferf425a6d2005-07-07 09:19:31 +0000100#
101# We explicitly add the endianness specifier if needed, this allows
102# to compile kernels with a toolchain for the other endianness. We
103# carefully avoid to add it redundantly because gcc 3.3/3.4 complains
104# when fed the toolchain default!
105#
Ralf Baechlef9405412006-10-10 15:44:10 +0100106# Certain gcc versions upto gcc 4.1.1 (probably 4.2-subversion as of
Michael Opdenacker59c51592007-05-09 08:57:56 +0200107# 2006-10-10 don't properly change the predefined symbols if -EB / -EL
Ralf Baechlef9405412006-10-10 15:44:10 +0100108# are used, so we kludge that here. A bug has been filed at
109# http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29413.
110#
111undef-all += -UMIPSEB -U_MIPSEB -U__MIPSEB -U__MIPSEB__
112undef-all += -UMIPSEL -U_MIPSEL -U__MIPSEL -U__MIPSEL__
113predef-be += -DMIPSEB -D_MIPSEB -D__MIPSEB -D__MIPSEB__
114predef-le += -DMIPSEL -D_MIPSEL -D__MIPSEL -D__MIPSEL__
115cflags-$(CONFIG_CPU_BIG_ENDIAN) += $(shell $(CC) -dumpmachine |grep -q 'mips.*el-.*' && echo -EB $(undef-all) $(predef-be))
116cflags-$(CONFIG_CPU_LITTLE_ENDIAN) += $(shell $(CC) -dumpmachine |grep -q 'mips.*el-.*' || echo -EL $(undef-all) $(predef-le))
Thiemo Seuferf425a6d2005-07-07 09:19:31 +0000117
Franck Bui-Huu9693a852007-02-02 17:41:47 +0100118cflags-$(CONFIG_CPU_HAS_SMARTMIPS) += $(call cc-option,-msmartmips)
119
Ralf Baechle9007c9a2006-03-18 16:59:31 +0000120cflags-$(CONFIG_SB1XXX_CORELIS) += $(call cc-option,-mno-sched-prolog) \
121 -fno-omit-frame-pointer
Linus Torvalds1da177e2005-04-16 15:20:36 -0700122
123#
Linus Torvalds1da177e2005-04-16 15:20:36 -0700124# CPU-dependent compiler/assembler options for optimization.
125#
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000126cflags-$(CONFIG_CPU_R3000) += -march=r3000
127cflags-$(CONFIG_CPU_TX39XX) += -march=r3900
128cflags-$(CONFIG_CPU_R6000) += -march=r6000 -Wa,--trap
129cflags-$(CONFIG_CPU_R4300) += -march=r4300 -Wa,--trap
130cflags-$(CONFIG_CPU_VR41XX) += -march=r4100 -Wa,--trap
131cflags-$(CONFIG_CPU_R4X00) += -march=r4600 -Wa,--trap
132cflags-$(CONFIG_CPU_TX49XX) += -march=r4600 -Wa,--trap
Ralf Baechle9200c0b2006-04-06 00:44:25 +0100133cflags-$(CONFIG_CPU_MIPS32_R1) += $(call cc-option,-march=mips32,-mips32 -U_MIPS_ISA -D_MIPS_ISA=_MIPS_ISA_MIPS32) \
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000134 -Wa,-mips32 -Wa,--trap
Ralf Baechle9200c0b2006-04-06 00:44:25 +0100135cflags-$(CONFIG_CPU_MIPS32_R2) += $(call cc-option,-march=mips32r2,-mips32r2 -U_MIPS_ISA -D_MIPS_ISA=_MIPS_ISA_MIPS32) \
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000136 -Wa,-mips32r2 -Wa,--trap
Ralf Baechle9200c0b2006-04-06 00:44:25 +0100137cflags-$(CONFIG_CPU_MIPS64_R1) += $(call cc-option,-march=mips64,-mips64 -U_MIPS_ISA -D_MIPS_ISA=_MIPS_ISA_MIPS64) \
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000138 -Wa,-mips64 -Wa,--trap
Ralf Baechle9200c0b2006-04-06 00:44:25 +0100139cflags-$(CONFIG_CPU_MIPS64_R2) += $(call cc-option,-march=mips64r2,-mips64r2 -U_MIPS_ISA -D_MIPS_ISA=_MIPS_ISA_MIPS64) \
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000140 -Wa,-mips64r2 -Wa,--trap
141cflags-$(CONFIG_CPU_R5000) += -march=r5000 -Wa,--trap
Ralf Baechlec9e321e2006-04-01 20:43:58 +0100142cflags-$(CONFIG_CPU_R5432) += $(call cc-option,-march=r5400,-march=r5000) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700143 -Wa,--trap
Shinya Kuribayashi542c1022008-10-24 01:27:57 +0900144cflags-$(CONFIG_CPU_R5500) += $(call cc-option,-march=r5500,-march=r5000) \
145 -Wa,--trap
Ralf Baechlec9e321e2006-04-01 20:43:58 +0100146cflags-$(CONFIG_CPU_NEVADA) += $(call cc-option,-march=rm5200,-march=r5000) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147 -Wa,--trap
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000148cflags-$(CONFIG_CPU_RM7000) += $(call cc-option,-march=rm7000,-march=r5000) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700149 -Wa,--trap
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000150cflags-$(CONFIG_CPU_RM9000) += $(call cc-option,-march=rm9000,-march=r5000) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151 -Wa,--trap
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000152cflags-$(CONFIG_CPU_SB1) += $(call cc-option,-march=sb1,-march=r5000) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700153 -Wa,--trap
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000154cflags-$(CONFIG_CPU_R8000) += -march=r8000 -Wa,--trap
155cflags-$(CONFIG_CPU_R10000) += $(call cc-option,-march=r10000,-march=r8000) \
Linus Torvalds1da177e2005-04-16 15:20:36 -0700156 -Wa,--trap
David Daney7e69deb2008-12-11 15:33:28 -0800157cflags-$(CONFIG_CPU_CAVIUM_OCTEON) += $(call cc-option,-march=octeon) -Wa,--trap
158ifeq (,$(findstring march=octeon, $(cflags-$(CONFIG_CPU_CAVIUM_OCTEON))))
159cflags-$(CONFIG_CPU_CAVIUM_OCTEON) += -Wa,-march=octeon
160endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700161
Maciej W. Rozycki20d60d92007-10-23 12:43:11 +0100162cflags-$(CONFIG_CPU_R4000_WORKAROUNDS) += $(call cc-option,-mfix-r4000,)
163cflags-$(CONFIG_CPU_R4400_WORKAROUNDS) += $(call cc-option,-mfix-r4400,)
164cflags-$(CONFIG_CPU_DADDI_WORKAROUNDS) += $(call cc-option,-mno-daddi,)
165
Linus Torvalds1da177e2005-04-16 15:20:36 -0700166ifdef CONFIG_CPU_SB1
167ifdef CONFIG_SB1_PASS_1_WORKAROUNDS
168MODFLAGS += -msb1-pass1-workarounds
169endif
170endif
171
172#
173# Firmware support
174#
Aurelien Jarno2f56cfd2007-09-05 08:59:34 +0200175libs-$(CONFIG_ARC) += arch/mips/fw/arc/
Aurelien Jarnodf78b5c2007-09-05 08:58:26 +0200176libs-$(CONFIG_CFE) += arch/mips/fw/cfe/
Thomas Bogendoerfer231a35d2008-01-04 23:31:07 +0100177libs-$(CONFIG_SNIPROM) += arch/mips/fw/sni/
178libs-y += arch/mips/fw/lib/
Linus Torvalds1da177e2005-04-16 15:20:36 -0700179
180#
Ralf Baechleebc89712010-02-26 13:57:12 +0100181# Kernel compression
182#
183ifdef SYS_SUPPORTS_ZBOOT
184COMPRESSION_FNAME = vmlinuz
185else
186COMPRESSION_FNAME = vmlinux
187endif
188
189#
Linus Torvalds1da177e2005-04-16 15:20:36 -0700190# Board-dependent options and extra files
191#
Sam Ravnborg5d25b012010-05-30 16:27:10 +0200192include $(srctree)/arch/mips/Kbuild.platforms
Florian Fainelli7ca5dc12009-06-24 11:12:57 +0200193
Ralf Baechle384740d2008-09-16 19:48:51 +0200194cflags-y += -I$(srctree)/arch/mips/include/asm/mach-generic
Linus Torvalds1da177e2005-04-16 15:20:36 -0700195drivers-$(CONFIG_PCI) += arch/mips/pci/
196
Franck Bui-Huuadff90a2007-02-15 12:06:48 +0100197#
198# Automatically detect the build format. By default we choose
199# the elf format according to the load address.
200# We can always force a build with a 64-bits symbol format by
Franck Bui-Huu054c51b2007-02-15 14:21:36 +0100201# passing 'KBUILD_SYM32=no' option to the make's command line.
Franck Bui-Huuadff90a2007-02-15 12:06:48 +0100202#
203ifdef CONFIG_64BIT
Franck Bui-Huu054c51b2007-02-15 14:21:36 +0100204 ifndef KBUILD_SYM32
Franck Bui-Huuadff90a2007-02-15 12:06:48 +0100205 ifeq ($(shell expr $(load-y) \< 0xffffffff80000000), 0)
Franck Bui-Huu054c51b2007-02-15 14:21:36 +0100206 KBUILD_SYM32 = y
Franck Bui-Huuadff90a2007-02-15 12:06:48 +0100207 endif
208 endif
209
Maciej W. Rozycki20d60d92007-10-23 12:43:11 +0100210 ifeq ($(KBUILD_SYM32)$(call cc-option-yn,-msym32), yy)
211 cflags-y += -msym32 -DKBUILD_64BIT_SYM32
212 else
213 ifeq ($(CONFIG_CPU_DADDI_WORKAROUNDS), y)
214 $(error CONFIG_CPU_DADDI_WORKAROUNDS unsupported without -msym32)
Franck Bui-Huue58d95a2007-09-27 16:26:40 +0200215 endif
Franck Bui-Huuadff90a2007-02-15 12:06:48 +0100216 endif
217endif
218
Sam Ravnborg222d3942007-10-15 21:59:31 +0200219KBUILD_AFLAGS += $(cflags-y)
Sam Ravnborg51b563f2009-09-20 12:28:22 +0200220KBUILD_CFLAGS += $(cflags-y)
221KBUILD_CPPFLAGS += -D"VMLINUX_LOAD_ADDRESS=$(load-y)"
222KBUILD_CPPFLAGS += -D"DATAOFFSET=$(if $(dataoffset-y),$(dataoffset-y),0)"
Linus Torvalds1da177e2005-04-16 15:20:36 -0700223
224LDFLAGS += -m $(ld-emul)
225
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000226ifdef CONFIG_MIPS
Sam Ravnborga0f97e02007-10-14 22:21:35 +0200227CHECKFLAGS += $(shell $(CC) $(KBUILD_CFLAGS) -dM -E -xc /dev/null | \
Alexey Dobriyan48c35b22007-01-23 21:30:14 +0300228 egrep -vw '__GNUC_(|MINOR_|PATCHLEVEL_)_' | \
Atsushi Nemoto2a2c3e42006-04-15 00:04:18 +0900229 sed -e 's/^\#define /-D/' -e "s/ /='/" -e "s/$$/'/")
230ifdef CONFIG_64BIT
231CHECKFLAGS += -m64
232endif
Ralf Baechle59b3e8e2006-03-08 11:35:00 +0000233endif
234
Linus Torvalds1da177e2005-04-16 15:20:36 -0700235OBJCOPYFLAGS += --remove-section=.reginfo
236
Linus Torvalds1da177e2005-04-16 15:20:36 -0700237head-y := arch/mips/kernel/head.o arch/mips/kernel/init_task.o
238
239libs-y += arch/mips/lib/
Linus Torvalds1da177e2005-04-16 15:20:36 -0700240
Sam Ravnborg9aeb4042010-05-30 13:27:22 +0200241# See arch/mips/Kbuild for content of core part of the kernel
242core-y += arch/mips/
Linus Torvalds1da177e2005-04-16 15:20:36 -0700243
244drivers-$(CONFIG_OPROFILE) += arch/mips/oprofile/
245
Wu Zhangjin363c55c2009-06-04 20:27:10 +0800246# suspend and hibernation support
247drivers-$(CONFIG_PM) += arch/mips/power/
248
Brian Murphy1f21d2b2007-08-21 22:34:16 +0200249ifdef CONFIG_LASAT
250rom.bin rom.sw: vmlinux
251 $(Q)$(MAKE) $(build)=arch/mips/lasat/image $@
252endif
253
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254#
255# Some machines like the Indy need 32-bit ELF binaries for booting purposes.
256# Other need ECOFF, so we build a 32-bit ELF binary for them which we then
257# convert to ECOFF using elf2ecoff.
258#
259vmlinux.32: vmlinux
260 $(OBJCOPY) -O $(32bit-bfd) $(OBJCOPYFLAGS) $< $@
261
262#
263# The 64-bit ELF tools are pretty broken so at this time we generate 64-bit
264# ELF files from 32-bit files by conversion.
265#
266vmlinux.64: vmlinux
267 $(OBJCOPY) -O $(64bit-bfd) $(OBJCOPYFLAGS) $< $@
268
Ralf Baechle8496b402007-07-28 13:27:21 +0100269all: $(all-y)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700270
Sam Ravnborg35eaa1e2010-05-30 16:28:03 +0200271# boot
Sam Ravnborg961e1962010-05-30 16:27:33 +0200272vmlinux.bin vmlinux.ecoff vmlinux.srec: $(vmlinux-32) FORCE
273 $(Q)$(MAKE) $(build)=arch/mips/boot VMLINUX=$(vmlinux-32) arch/mips/boot/$@
Linus Torvalds1da177e2005-04-16 15:20:36 -0700274
Sam Ravnborg35eaa1e2010-05-30 16:28:03 +0200275# boot/compressed
276vmlinuz vmlinuz.bin vmlinuz.ecoff vmlinuz.srec: $(vmlinux-32) FORCE
277 $(Q)$(MAKE) $(build)=arch/mips/boot/compressed \
278 VMLINUX_LOAD_ADDRESS=$(load-y) 32bit-bfd=$(32bit-bfd) $@
279
280
Sam Ravnborgd7458662010-05-30 16:28:31 +0200281CLEAN_FILES += vmlinux.32 vmlinux.64
Linus Torvalds1da177e2005-04-16 15:20:36 -0700282
Atsushi Nemotoe48ce6b2007-05-30 00:38:07 +0900283archprepare:
284ifdef CONFIG_MIPS32_N32
285 @echo ' Checking missing-syscalls for N32'
286 $(Q)$(MAKE) $(build)=. missing-syscalls EXTRA_CFLAGS="-mabi=n32"
287endif
288ifdef CONFIG_MIPS32_O32
289 @echo ' Checking missing-syscalls for O32'
290 $(Q)$(MAKE) $(build)=. missing-syscalls EXTRA_CFLAGS="-mabi=32"
291endif
292
Ralf Baechle59968d32009-03-30 14:49:40 +0200293install:
294 $(Q)install -D -m 755 vmlinux $(INSTALL_PATH)/vmlinux-$(KERNELRELEASE)
Wu Zhangjin1b93b3c2009-10-14 18:12:16 +0800295 $(Q)install -D -m 755 vmlinuz $(INSTALL_PATH)/vmlinuz-$(KERNELRELEASE)
Ralf Baechle59968d32009-03-30 14:49:40 +0200296 $(Q)install -D -m 644 .config $(INSTALL_PATH)/config-$(KERNELRELEASE)
297 $(Q)install -D -m 644 System.map $(INSTALL_PATH)/System.map-$(KERNELRELEASE)
298
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299archclean:
Sam Ravnborgd7458662010-05-30 16:28:31 +0200300 $(Q)$(MAKE) $(clean)=arch/mips/boot
301 $(Q)$(MAKE) $(clean)=arch/mips/boot/compressed
302 $(Q)$(MAKE) $(clean)=arch/mips/lasat
Linus Torvalds1da177e2005-04-16 15:20:36 -0700303
Ralf Baechlee7865762007-07-28 13:38:49 +0100304define archhelp
Ralf Baechle59968d32009-03-30 14:49:40 +0200305 echo ' install - install kernel into $(INSTALL_PATH)'
Ralf Baechlee7865762007-07-28 13:38:49 +0100306 echo ' vmlinux.ecoff - ECOFF boot image'
307 echo ' vmlinux.bin - Raw binary boot image'
308 echo ' vmlinux.srec - SREC boot image'
Wu Zhangjin1b93b3c2009-10-14 18:12:16 +0800309 echo ' vmlinuz - Compressed boot(zboot) image'
310 echo ' vmlinuz.ecoff - ECOFF zboot image'
311 echo ' vmlinuz.bin - Raw binary zboot image'
312 echo ' vmlinuz.srec - SREC zboot image'
Ralf Baechlee7865762007-07-28 13:38:49 +0100313 echo
314 echo ' These will be default as apropriate for a configured platform.'
315endef