source: mainline/kernel/Makefile@ 544eae5

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 544eae5 was 2f7d77c6, checked in by Jiří Zárevúcky <jiri.zarevucky@…>, 7 years ago

Add rudimentary support for undefined behavior sanitizer.

  • Property mode set to 100644
File size: 12.0 KB
Line 
1#
2# Copyright (c) 2005 Martin Decky
3# All rights reserved.
4#
5# Redistribution and use in source and binary forms, with or without
6# modification, are permitted provided that the following conditions
7# are met:
8#
9# - Redistributions of source code must retain the above copyright
10# notice, this list of conditions and the following disclaimer.
11# - Redistributions in binary form must reproduce the above copyright
12# notice, this list of conditions and the following disclaimer in the
13# documentation and/or other materials provided with the distribution.
14# - The name of the author may not be used to endorse or promote products
15# derived from this software without specific prior written permission.
16#
17# THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18# IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19# OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20# IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22# NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23# DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24# THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26# THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27#
28
29## Configuration
30#
31
32ROOT_PATH = ..
33
34VERSION_DEF = $(ROOT_PATH)/version
35
36COMMON_MAKEFILE = $(ROOT_PATH)/Makefile.common
37COMMON_HEADER = $(ROOT_PATH)/common.h
38COMMON_HEADER_ARCH = arch/$(KARCH)/include/arch/common.h
39
40CONFIG_MAKEFILE = $(ROOT_PATH)/Makefile.config
41CONFIG_HEADER = $(ROOT_PATH)/config.h
42
43-include $(VERSION_DEF)
44-include $(COMMON_MAKEFILE)
45-include $(CONFIG_MAKEFILE)
46
47## Common names
48#
49
50AUTOCHECK = $(realpath $(ROOT_PATH)/tools/autocheck.awk)
51RAW = kernel.raw
52BIN = kernel.bin
53MAP = kernel.map
54JOB = kernel.job
55MAP_PREV = $(MAP).prev
56DISASM = kernel.disasm
57DUMP = kernel.dump
58REAL_MAP = generic/src/debug/real_map
59
60GENMAP = tools/genmap.py
61
62LINK = arch/$(KARCH)/_link.ld
63EMPTY_MAP = generic/src/debug/empty_map.o
64SIZEOK_MAP = generic/src/debug/sizeok_map.o
65
66ifeq ($(PRECHECK),y)
67 JOBFILE = $(ROOT_PATH)/tools/jobfile.py
68 # XXX: Do not change the order of arguments.
69 CC_JOB = $(JOBFILE) $(JOB) $(CC) $< -o $@
70else
71 CC_JOB = $(CC) $< -o $@
72endif
73
74.PHONY: all clean autogen_clean depend
75.DELETE_ON_ERROR:
76
77all: $(VERSION_DEF) $(COMMON_MAKEFILE) $(COMMON_HEADER) $(CONFIG_MAKEFILE) $(CONFIG_HEADER) $(BIN) $(DISASM)
78
79clean: autogen_clean
80 rm -f $(RAW) $(BIN) $(MAP) $(JOB) $(MAP_PREV) $(DISASM) $(DUMP) $(REAL_MAP).* arch/*/_link.ld arch/*/include/arch/common.h
81 find generic/src/ arch/*/src/ genarch/src/ test/ -name '*.o' -follow -exec rm '{}' \;
82 find generic/src/ arch/*/src/ genarch/src/ test/ -name '*.d' -follow -exec rm '{}' \;
83
84## Common compiler flags
85#
86
87INCLUDES = generic/include genarch/include arch/$(KARCH)/include ../abi/include
88INCLUDES_FLAGS = $(addprefix -I,$(INCLUDES))
89
90DEFS = -DKERNEL -DRELEASE=$(RELEASE) "-DCOPYRIGHT=$(COPYRIGHT)" "-DNAME=$(NAME)" -D__$(BITS)_BITS__ -D__$(ENDIANESS)__
91
92COMMON_CFLAGS = $(INCLUDES_FLAGS) -O$(OPTIMIZATION) -imacros $(CONFIG_HEADER) \
93 -ffreestanding -nostdlib -nostdinc \
94 -fexec-charset=UTF-8 -finput-charset=UTF-8 -fno-common \
95 -fdebug-prefix-map=$(realpath $(ROOT_PATH))=.
96
97GCC_CFLAGS = -std=gnu99 -Wall -Wextra -Wno-unused-parameter \
98 -Wmissing-prototypes -Werror-implicit-function-declaration \
99 -Wwrite-strings -pipe
100
101CLANG_CFLAGS = -std=gnu99 -Wall -Wextra -Wno-unused-parameter \
102 -Wno-missing-field-initializers -Wno-unused-command-line-argument \
103 -Wmissing-prototypes -Werror-implicit-function-declaration \
104 -Wwrite-strings -pipe -fno-stack-protector -fno-PIC
105
106ifeq ($(CONFIG_DEBUG),y)
107 COMMON_CFLAGS += -Werror
108endif
109
110ifeq ($(CONFIG_UBSAN_KERNEL),y)
111 COMMON_CFLAGS += -fsanitize=undefined
112endif
113
114ifeq ($(CONFIG_LTO),y)
115 COMMON_CFLAGS += -flto
116endif
117
118ifeq ($(CONFIG_LINE_DEBUG),y)
119 COMMON_CFLAGS += -g
120endif
121
122AFLAGS += --fatal-warnings
123LDFLAGS += -Wl,-n -T $(LINK) -Wl,-M,--fatal-warnings,--warn-common
124
125ifeq ($(CONFIG_STRIP_BINARIES),y)
126 LDFLAGS += -s
127endif
128
129-include arch/$(KARCH)/Makefile.inc
130-include genarch/Makefile.inc
131
132## The at-sign
133#
134# The $(ATSIGN) variable holds the ASCII character representing the at-sign
135# ('@') used in various $(AS) constructs (e.g. @progbits). On architectures that
136# don't use '@' for starting a comment, $(ATSIGN) is merely '@'. However, on
137# those that do use it for starting a comment (e.g. arm32), $(ATSIGN) must be
138# defined as the percentile-sign ('%') in the architecture-dependent
139# Makefile.inc.
140#
141
142ATSIGN ?= @
143
144## Cross-platform assembly to start a symtab.data section
145#
146
147SYMTAB_SECTION = .section symtab.data, \"a\", $(ATSIGN)progbits;
148
149## Compilation options
150#
151
152ifeq ($(COMPILER),clang)
153 CFLAGS = $(COMMON_CFLAGS) $(CLANG_CFLAGS)
154else
155 CFLAGS = $(COMMON_CFLAGS) $(GCC_CFLAGS)
156endif
157
158INSTRUMENTATION = -finstrument-functions
159
160## Generic kernel sources
161#
162
163GENERIC_SOURCES = \
164 generic/src/adt/avl.c \
165 generic/src/adt/bitmap.c \
166 generic/src/adt/btree.c \
167 generic/src/adt/cht.c \
168 generic/src/adt/hash_table.c \
169 generic/src/adt/list.c \
170 generic/src/console/chardev.c \
171 generic/src/console/console.c \
172 generic/src/console/prompt.c \
173 generic/src/cpu/cpu.c \
174 generic/src/cpu/cpu_mask.c \
175 generic/src/ddi/ddi.c \
176 generic/src/ddi/irq.c \
177 generic/src/debug/symtab.c \
178 generic/src/debug/stacktrace.c \
179 generic/src/debug/panic.c \
180 generic/src/debug/debug.c \
181 generic/src/interrupt/interrupt.c \
182 generic/src/log/log.c \
183 generic/src/main/main.c \
184 generic/src/main/kinit.c \
185 generic/src/main/uinit.c \
186 generic/src/main/version.c \
187 generic/src/main/shutdown.c \
188 generic/src/proc/program.c \
189 generic/src/proc/scheduler.c \
190 generic/src/proc/thread.c \
191 generic/src/proc/task.c \
192 generic/src/proc/the.c \
193 generic/src/syscall/syscall.c \
194 generic/src/syscall/copy.c \
195 generic/src/mm/km.c \
196 generic/src/mm/reserve.c \
197 generic/src/mm/frame.c \
198 generic/src/mm/page.c \
199 generic/src/mm/tlb.c \
200 generic/src/mm/as.c \
201 generic/src/mm/backend_anon.c \
202 generic/src/mm/backend_elf.c \
203 generic/src/mm/backend_phys.c \
204 generic/src/mm/backend_user.c \
205 generic/src/mm/slab.c \
206 generic/src/lib/halt.c \
207 generic/src/lib/mem.c \
208 generic/src/lib/memfnc.c \
209 generic/src/lib/gsort.c \
210 generic/src/lib/str.c \
211 generic/src/lib/str_error.c \
212 generic/src/lib/elf.c \
213 generic/src/lib/ra.c \
214 generic/src/lib/rd.c \
215 generic/src/lib/ubsan.c \
216 generic/src/printf/printf_core.c \
217 generic/src/printf/printf.c \
218 generic/src/printf/snprintf.c \
219 generic/src/printf/vprintf.c \
220 generic/src/printf/vsnprintf.c \
221 generic/src/time/clock.c \
222 generic/src/time/timeout.c \
223 generic/src/time/delay.c \
224 generic/src/preempt/preemption.c \
225 generic/src/synch/spinlock.c \
226 generic/src/synch/condvar.c \
227 generic/src/synch/mutex.c \
228 generic/src/synch/semaphore.c \
229 generic/src/synch/smc.c \
230 generic/src/synch/smp_memory_barrier.c \
231 generic/src/synch/waitq.c \
232 generic/src/synch/futex.c \
233 generic/src/synch/workqueue.c \
234 generic/src/synch/rcu.c \
235 generic/src/smp/ipi.c \
236 generic/src/smp/smp.c \
237 generic/src/smp/smp_call.c \
238 generic/src/ipc/ipc.c \
239 generic/src/ipc/sysipc.c \
240 generic/src/ipc/sysipc_ops.c \
241 generic/src/ipc/ops/conctmeto.c \
242 generic/src/ipc/ops/concttome.c \
243 generic/src/ipc/ops/dataread.c \
244 generic/src/ipc/ops/datawrite.c \
245 generic/src/ipc/ops/debug.c \
246 generic/src/ipc/ops/pagein.c \
247 generic/src/ipc/ops/sharein.c \
248 generic/src/ipc/ops/shareout.c \
249 generic/src/ipc/ops/stchngath.c \
250 generic/src/ipc/ipcrsc.c \
251 generic/src/ipc/irq.c \
252 generic/src/ipc/event.c \
253 generic/src/cap/cap.c \
254 generic/src/security/perm.c \
255 generic/src/sysinfo/sysinfo.c \
256 generic/src/sysinfo/stats.c
257
258## Kernel console support
259#
260
261ifeq ($(CONFIG_KCONSOLE),y)
262GENERIC_SOURCES += \
263 generic/src/console/kconsole.c \
264 generic/src/console/cmd.c
265endif
266
267## Udebug interface sources
268#
269
270ifeq ($(CONFIG_UDEBUG),y)
271GENERIC_SOURCES += \
272 generic/src/ipc/kbox.c \
273 generic/src/udebug/udebug.c \
274 generic/src/udebug/udebug_ops.c \
275 generic/src/udebug/udebug_ipc.c
276endif
277
278## Test sources
279#
280
281ifeq ($(CONFIG_TEST),y)
282 CFLAGS += -Itest/
283 GENERIC_SOURCES += \
284 test/test.c \
285 test/atomic/atomic1.c \
286 test/btree/btree1.c \
287 test/cht/cht1.c \
288 test/avltree/avltree1.c \
289 test/fault/fault1.c \
290 test/mm/falloc1.c \
291 test/mm/falloc2.c \
292 test/mm/mapping1.c \
293 test/mm/slab1.c \
294 test/mm/slab2.c \
295 test/synch/semaphore1.c \
296 test/synch/semaphore2.c \
297 test/synch/workqueue2.c \
298 test/synch/workqueue3.c \
299 test/synch/rcu1.c \
300 test/print/print1.c \
301 test/print/print2.c \
302 test/print/print3.c \
303 test/print/print4.c \
304 test/print/print5.c \
305 test/thread/thread1.c \
306 test/smpcall/smpcall1.c
307
308 ifeq ($(KARCH),mips32)
309 GENERIC_SOURCES += test/debug/mips1.c
310 else
311 GENERIC_SOURCES += test/debug/mips1_skip.c
312 endif
313
314 ifeq ($(KARCH),ia64)
315 GENERIC_SOURCES += test/mm/purge1.c
316 else
317 GENERIC_SOURCES += test/mm/purge1_skip.c
318 endif
319
320endif
321
322## Sources where instrumentation is enabled
323#
324
325ifeq ($(CONFIG_TRACE),y)
326 INSTRUMENTED_SOURCES = \
327 generic/src/adt/btree.c \
328 generic/src/cpu/cpu.c \
329 generic/src/ddi/ddi.c \
330 generic/src/interrupt/interrupt.c \
331 generic/src/main/main.c \
332 generic/src/main/kinit.c \
333 generic/src/proc/the.c \
334 generic/src/mm/frame.c \
335 generic/src/mm/page.c \
336 generic/src/mm/tlb.c \
337 generic/src/mm/as.c \
338 generic/src/mm/slab.c \
339 generic/src/sysinfo/sysinfo.c \
340 generic/src/console/kconsole.c
341else
342 INSTRUMENTED_SOURCES =
343endif
344
345ARCH_SOURCES += $(ARCH_AUTOCHECK_HEADERS:%.h=%.check.c)
346GENARCH_SOURCES += $(GENARCH_AUTOCHECK_HEADERS:%.h=%.check.c)
347
348GENERIC_OBJECTS := $(addsuffix .o,$(basename $(GENERIC_SOURCES)))
349ARCH_OBJECTS := $(addsuffix .o,$(basename $(ARCH_SOURCES)))
350GENARCH_OBJECTS := $(addsuffix .o,$(basename $(GENARCH_SOURCES)))
351
352GENERIC_DEPENDS := $(addsuffix .d,$(basename $(GENERIC_SOURCES)))
353ARCH_DEPENDS := $(addsuffix .d,$(basename $(ARCH_SOURCES)))
354GENARCH_DEPENDS := $(addsuffix .d,$(basename $(GENARCH_SOURCES)))
355
356AS_CFLAGS := $(addprefix -Xassembler ,$(AFLAGS))
357
358-include $(GENERIC_DEPENDS)
359-include $(ARCH_DEPENDS)
360-include $(GENARCH_DEPENDS)
361
362ifeq ($(COMPILER),clang)
363 AS_CFLAGS += -mllvm -asm-macro-max-nesting-depth=1000
364endif
365
366ifeq ($(CONFIG_SYMTAB),y)
367 SYMTAB_OBJECTS := generic/src/debug/real_map.o
368else
369 SYMTAB_OBJECTS :=
370endif
371
372$(BIN): $(RAW)
373 $(OBJCOPY) -O $(BFD) $< $@
374
375$(DISASM): $(RAW)
376ifeq ($(CONFIG_LINE_DEBUG),y)
377 $(OBJDUMP) -d -S $< > $@
378else
379 $(OBJDUMP) -d $< > $@
380endif
381
382$(RAW): $(LINK) $(ARCH_OBJECTS) $(GENARCH_OBJECTS) $(GENERIC_OBJECTS) $(SYMTAB_OBJECTS)
383 $(CC) $(DEFS) $(CFLAGS) $(LDFLAGS) -Wl,-Map,$(MAP) -o $@ $(ARCH_OBJECTS) $(GENARCH_OBJECTS) $(GENERIC_OBJECTS) $(EXTRA_OBJECTS) $(SYMTAB_OBJECTS)
384
385$(LINK): $(LINK).in
386 $(CC) $(DEFS) $(CFLAGS) -D__ASSEMBLER__ -D__LINKER__ -E -x c $< | grep -v "^\#" > $@
387
388%.check.c: %.h $(AUTOCHECK)
389 cd $(<D) && $(AUTOCHECK) $(<F) > $(@F)
390
391%.o: %.S
392 $(CC_JOB) -c -MD -MP $(DEFS) $(CFLAGS) $(AS_CFLAGS)
393
394%.o: %.s
395 $(CC_JOB) -c -MD -MP $(DEFS) $(CFLAGS) $(AS_CFLAGS)
396
397%.o: %.c
398 $(CC_JOB) -c -MD -MP $(DEFS) $(CFLAGS) $(EXTRA_FLAGS) $(FPU_NO_CFLAGS) $(if $(findstring $<,$(INSTRUMENTED_SOURCES)),$(INSTRUMENTATION))
399
400$(REAL_MAP).o: $(REAL_MAP).bin
401 echo "$(AS_PROLOG)""$(SYMTAB_SECTION)"" .incbin \"$<\"" | $(CC) $(CFLAGS) $(AS_CFLAGS) -x assembler -c -o $@ -
402
403$(REAL_MAP).bin: $(LINK) $(ARCH_OBJECTS) $(GENARCH_OBJECTS) $(GENERIC_OBJECTS)
404 echo "$(AS_PROLOG)""$(SYMTAB_SECTION)" | $(CC) $(CFLAGS) $(AS_CFLAGS) -x assembler -c -o $(EMPTY_MAP) -
405 $(CC) $(DEFS) $(CFLAGS) $(LDFLAGS) -Wl,-Map,$(MAP_PREV) -o $@ $(ARCH_OBJECTS) $(GENARCH_OBJECTS) $(GENERIC_OBJECTS) $(EXTRA_OBJECTS) $(EMPTY_MAP)
406 $(OBJDUMP) -t $(ARCH_OBJECTS) $(GENARCH_OBJECTS) $(GENERIC_OBJECTS) > $(DUMP)
407 $(GENMAP) $(MAP_PREV) $(DUMP) $@
408
409 # Do it once again, this time to get correct even the symbols
410 # on architectures that have bss after symtab
411
412 echo "$(AS_PROLOG)""$(SYMTAB_SECTION)"" .incbin \"$@\"" | $(CC) $(CFLAGS) $(AS_CFLAGS) -x assembler -c -o $(SIZEOK_MAP) -
413 $(CC) $(DEFS) $(CFLAGS) $(LDFLAGS) -Wl,-Map,$(MAP_PREV) -o $@ $(ARCH_OBJECTS) $(GENARCH_OBJECTS) $(GENERIC_OBJECTS) $(EXTRA_OBJECTS) $(SIZEOK_MAP)
414 $(OBJDUMP) -t $(ARCH_OBJECTS) $(GENARCH_OBJECTS) $(GENERIC_OBJECTS) > $(DUMP)
415 $(GENMAP) $(MAP_PREV) $(DUMP) $@
Note: See TracBrowser for help on using the repository browser.