@@ -1,11 +1,5 @@
#pragma once
-#ifdef PK_USER_CONFIG_H
-
-#include "user_config.h"
-#else
/*************** feature settings ***************/
// Whether to compile os-related modules or not
@@ -84,6 +78,3 @@
#else
#define PK_UNREACHABLE() __builtin_unreachable();
#endif
-#endif