diff --git a/src/hsm/cvc.h b/src/hsm/cvc.h
index c5babfe..3b0135b 100644
--- a/src/hsm/cvc.h
+++ b/src/hsm/cvc.h
@@ -19,7 +19,11 @@
 #define _CVC_H_
 
 #include <stdlib.h>
+#ifndef ENABLE_EMULATION
 #include "pico/stdlib.h"
+#else
+#include <stdbool.h>
+#endif
 #include "mbedtls/ecp.h"
 
 typedef struct PUK {
diff --git a/src/hsm/kek.h b/src/hsm/kek.h
index 479aeb4..f7b48e0 100644
--- a/src/hsm/kek.h
+++ b/src/hsm/kek.h
@@ -19,6 +19,9 @@
 #define _DKEK_H_
 
 #include "crypto_utils.h"
+#ifdef ENABLE_EMULATION
+#include <stdbool.h>
+#endif
 
 extern int load_mkek(uint8_t *);
 extern int store_mkek(const uint8_t *);
diff --git a/src/hsm/sc_hsm.h b/src/hsm/sc_hsm.h
index 129ad02..93ce9f8 100644
--- a/src/hsm/sc_hsm.h
+++ b/src/hsm/sc_hsm.h
@@ -22,7 +22,9 @@
 #include "common.h"
 #include "mbedtls/rsa.h"
 #include "mbedtls/ecdsa.h"
+#ifndef ENABLE_EMULATION
 #include "pico/stdlib.h"
+#endif
 #include "file.h"
 #include "apdu.h"
 #include "hsm.h"