Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/console/console.c	(revision 83932dc9d1a3817203e9b972f966969ae565aaa0)
@@ -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 */