Add some paging and permission-related configuration options

diff --git a/config.h b/config.h
index 694a1ee427b20b049e647051376d0e0e2901681a..2a785d15e59e22908cb36fabd5af63117f8a0887 100644 (file)
--- a/config.h
+++ b/config.h
@@ -37,6 +37,8 @@
 
 #define CONFIG_POSIX    1
 
+#define CONFIG_PAGING_DIR_MAXREGIONS 16
+
 #define CONFIG_DEBUG       0
 #define CONFIG_DEBUG_SCHED 0
 #define CONFIG_DEBUG_NET   1
@@ -47,6 +49,11 @@
 
 #define CONFIG_IPC_MSGSIZE   2048
 
+#define CONFIG_PERM_USER_NAME_LEN  32
+#define CONFIG_PERM_GROUP_NAME_LEN 32
+
+#define CONFIG_ELF 0
+
 /* sanity checks */
 
 #if !defined(CONFIG_SMP_CPUS) || CONFIG_SMP_CPUS == 0