Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/src/console/console.c	(revision 4b54bd956b3a55ffeefc87990668ef0a39c2c4a2)
@@ -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 */
Index: kernel/generic/src/lib/halt.c
===================================================================
--- kernel/generic/src/lib/halt.c	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/src/lib/halt.c	(revision 4b54bd956b3a55ffeefc87990668ef0a39c2c4a2)
@@ -44,5 +44,5 @@
 
 /** Halt flag */
-atomic_t haltstate = { 0 };
+atomic_t haltstate = 0;
 
 /** Halt wrapper
Index: kernel/generic/src/log/log.c
===================================================================
--- kernel/generic/src/log/log.c	(revision c53e8137d0d1c1adfead47ccfe6351383d8d6af2)
+++ kernel/generic/src/log/log.c	(revision 4b54bd956b3a55ffeefc87990668ef0a39c2c4a2)
@@ -63,5 +63,5 @@
 
 /** Kernel log initialized */
-static atomic_t log_inited = { false };
+static atomic_bool log_inited = false;
 
 /** Position in the cyclic buffer where the first log entry starts */