1 files changed, 5 insertions, 1 deletions
diff --git a/pk/pk.h b/pk/pk.h
index c76825b..88c5881 100644
--- a/pk/pk.h
+++ b/pk/pk.h
@@ -3,7 +3,11 @@
 #ifndef _PK_H
 #define _PK_H
 
-#define MAX_HARTS 32 // coupled to width of booted_harts_mask
+#ifdef __riscv_atomic
+# define MAX_HARTS 32 // coupled to width of booted_harts_mask
+#else
+# define MAX_HARTS 1
+#endif
 
 #ifndef __ASSEMBLER__