diff --git a/src/config/user.h b/src/config/user.h
index e69de29..8f854e6 100644
--- a/src/config/user.h
+++ b/src/config/user.h
@@ -0,0 +1,4 @@
+//#define unigi_flag_platform_null
+//#define unigi_flag_nostdint
+//#define unigi_flag_alu_16bit
+//#define unigi_flag_fixedpoint