Changes in kernel/Makefile [1ab3c4b:62ca560] in mainline

File:

• kernel/Makefile (modified) (2 diffs)

kernel/Makefile

@@ -90 +90 @@
 
 COMMON_CFLAGS = $(INCLUDES_FLAGS) -O$(OPTIMIZATION) -imacros $(CONFIG_HEADER) \
-        -ffreestanding -nostdlib -nostdinc \
+        -ffreestanding -fno-builtin -nostdlib -nostdinc \
         -fexec-charset=UTF-8 -finput-charset=UTF-8 -fno-common \
         -fdebug-prefix-map=$(realpath $(ROOT_PATH))=.
@@ -208 +208 @@
         generic/src/mm/backend_user.c \
         generic/src/mm/slab.c \
-        generic/src/lib/halt.c \
+        generic/src/lib/func.c \
         generic/src/lib/mem.c \
         generic/src/lib/memfnc.c \