Changes in kernel/Makefile [da52547:7a0359b] in mainline

File:

• kernel/Makefile (modified) (1 diff)

kernel/Makefile

@@ -365 +365 @@
 
 ifeq ($(CONFIG_TRACE),y)
-INSTRUMENTED_SOURCES = \
-        generic/src/cpu/cpu.c \
-        generic/src/main/main.c \
-        generic/src/main/kinit.c \
-        generic/src/proc/the.c
+        INSTRUMENTED_SOURCES = \
+                generic/src/adt/btree.c \
+                generic/src/cpu/cpu.c \
+                generic/src/ddi/ddi.c \
+                generic/src/interrupt/interrupt.c \
+                generic/src/main/main.c \
+                generic/src/main/kinit.c \
+                generic/src/proc/the.c \
+                generic/src/proc/tasklet.c \
+                generic/src/mm/frame.c \
+                generic/src/mm/page.c \
+                generic/src/mm/tlb.c \
+                generic/src/mm/as.c \
+                generic/src/mm/slab.c \
+                generic/src/sysinfo/sysinfo.c \
+                generic/src/console/kconsole.c
+else
+        INSTRUMENTED_SOURCES =
 endif