#define NPROC 64
#define PAGE 4096
#define KSTACKSIZE PAGE
#define NCPU 8