Changeset da52547 in mainline for kernel/Makefile

Timestamp:

2010-07-02T10:16:38Z (14 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

b5382d4f

Parents:

ad8f03d2

Message:

add early_putchar() which can be used to do early kernel console output for debugging purposes
(the availability of this feature depends on each platform and specific configuration, currently it works only on ia32/amd64 with EGA and no framebuffer)
instrument more kernel functions
mark some functions as no_instrument (context_restore(), overlaps(), main_bsp())

File:

• kernel/Makefile (modified) (1 diff)

kernel/Makefile

@@ -364 +364 @@
 #
 
-ifeq ($(CONFIG_LOG),y)
+ifeq ($(CONFIG_TRACE),y)
 INSTRUMENTED_SOURCES = \
         generic/src/cpu/cpu.c \
-        generic/src/main/kinit.c
+        generic/src/main/main.c \
+        generic/src/main/kinit.c \
+        generic/src/proc/the.c
 endif