fix some errors in kconfig

OSH-2022 · Jul 3, 2022 · 5b72220 · 5b72220
1 parent fbabe68
commit 5b72220
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Kconfig b/Kconfig
@@ -20,7 +20,7 @@ menu "Memory and CPU Configuration"
             int "the maximum size of open files"
             default 1024
 
-        config PIPE_FILES
+        config PIPE_SIZE
             int "the maximum size of pipe files"
             default 4096
 
@@ -39,7 +39,7 @@ menu "Memory and CPU Configuration"
         int "the main stack size(B)"
         default 65536
 
-    config PAGE_SZIE
+    config PAGE_SIZE
         int "the page size(B)"
         default 4096
 endmenu

diff --git a/core/src/config.rs b/core/src/config.rs
@@ -7,5 +7,5 @@
 
 #[cfg(__runikraft_custom_config)]
 include!{env!("RUNIKRAFT_CONFIG_FILE")}
-#[cfg(not(feature="custom_config"))]
+#[cfg(not(__runikraft_custom_config))]
 include!{"../../default_config.rs"}