diff --git a/common/kernel/archcheck.cc b/common/kernel/archcheck.cc
index 23ec7aee..06282f43 100644
--- a/common/kernel/archcheck.cc
+++ b/common/kernel/archcheck.cc
@@ -17,6 +17,8 @@
  *
  */
 
+#include <list>
+
 #include "log.h"
 #include "nextpnr.h"
 
diff --git a/common/kernel/embed.cc b/common/kernel/embed.cc
index 70bbc6fb..6beb157b 100644
--- a/common/kernel/embed.cc
+++ b/common/kernel/embed.cc
@@ -1,3 +1,4 @@
+#include <map>
 #if defined(WIN32)
 #include <windows.h>
 #endif