#define NPROC 64
#define PAGE 4096
#define KSTACKSIZE PAGE
#define NCPU 8
#define NOFILE 16 // file descriptors per process
#define NFD 100 // file descriptors per system