Index: kernel/Makefile
===================================================================
--- kernel/Makefile	(revision 009c485952250dbca2420fd8ee4fa68ffaf7b9ac)
+++ kernel/Makefile	(revision 2f7d77c6250db2dbaf4fc40c073fd148af44fd39)
@@ -106,4 +106,8 @@
 ifeq ($(CONFIG_DEBUG),y)
 	COMMON_CFLAGS += -Werror
+endif
+
+ifeq ($(CONFIG_UBSAN_KERNEL),y)
+	COMMON_CFLAGS += -fsanitize=undefined
 endif
 
@@ -209,4 +213,5 @@
 	generic/src/lib/ra.c \
 	generic/src/lib/rd.c \
+	generic/src/lib/ubsan.c \
 	generic/src/printf/printf_core.c \
 	generic/src/printf/printf.c \