diff --git a/kconfig.h b/kconfig.h
index 2c91746c..5f948753 100644
--- a/kconfig.h
+++ b/kconfig.h
@@ -39,9 +39,9 @@
 #define SIGNAL_QUEUE_SIZE 5
 
 /* Standard I/O (Use /dev/null if not implemented) */
-#define STDIN_DEV_PATH "/dev/serial0"
-#define STDOUT_DEV_PATH "/dev/serial0"
-#define STDERR_DEV_PATH "/dev/serial0"
+#define STDIN_PATH "/dev/serial0"
+#define STDOUT_PATH "/dev/serial0"
+#define STDERR_PATH "/dev/serial0"
 
 #define PRINT_SIZE_MAX 100 /* Buffer size of the printf and printk */
 
diff --git a/kernel/kernel.c b/kernel/kernel.c
index c0bfd5b4..b8bb0b1d 100644
--- a/kernel/kernel.c
+++ b/kernel/kernel.c
@@ -2750,9 +2750,9 @@ static void *init(void *arg)
         __board_init();
         rom_dev_init();
         null_dev_init();
-        link_stdin_dev(STDIN_DEV_PATH);
-        link_stdout_dev(STDOUT_DEV_PATH);
-        link_stderr_dev(STDERR_DEV_PATH);
+        link_stdin_dev(STDIN_PATH);
+        link_stdout_dev(STDOUT_PATH);
+        link_stderr_dev(STDERR_PATH);
         printkd_start();
     }
     preempt_enable();