Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/console/console.c	(revision e38ff160637d9169d43e3fccb9091511e0c29923)
@@ -53,4 +53,5 @@
 #include <errno.h>
 #include <str.h>
+#include <stdatomic.h>
 #include <abi/kio.h>
 #include <mm/frame.h> /* SIZE2FRAMES */
@@ -64,5 +65,5 @@
 
 /** Kernel log initialized */
-static atomic_t kio_inited = { false };
+static atomic_bool kio_inited = false;
 
 /** First kernel log characters */