From 12056327bc09c49769ac987f76b9d7f08b969d8a Mon Sep 17 00:00:00 2001 From: Matthias Kruk Date: Mon, 18 Nov 2019 17:23:51 +0900 Subject: [PATCH] Add some paging and permission-related configuration options --- config.h | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/config.h b/config.h index 694a1ee..2a785d1 100644 --- 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 -- 2.47.3