From 080464c7c4ac2a747920fcd679f5d8cba27b45d1 Mon Sep 17 00:00:00 2001 From: Flavio Ceolin Date: Fri, 6 Jan 2023 12:58:21 -0800 Subject: [PATCH] kernel: banner: Remove unnecessary header sys/util.h is not needed. Signed-off-by: Flavio Ceolin --- kernel/banner.c | 1 - 1 file changed, 1 deletion(-) diff --git a/kernel/banner.c b/kernel/banner.c index 00794f06b4a..689395292d5 100644 --- a/kernel/banner.c +++ b/kernel/banner.c @@ -5,7 +5,6 @@ */ #include -#include #include #include #include