Index: kernel/arch/riscv64/src/drivers/ucb.c
===================================================================
--- kernel/arch/riscv64/src/drivers/ucb.c	(revision deacd722f7dca626637926215ebe69ffd2fd67f5)
+++ kernel/arch/riscv64/src/drivers/ucb.c	(revision 598e3a7dcc96b2f091d82be312b26fcb5e85d65c)
@@ -32,5 +32,5 @@
 #include <console/chardev.h>
 #include <str.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 #define HTIF_DEVICE_CONSOLE  1