Constant USER_STACK_PAGES 

pub const USER_STACK_PAGES: usize = 16;

Number of 4 KiB pages for the user stack (16 pages = 64 KiB).

This is the default: the loader accepts a per-process stack size via load_and_run_elf_with_stack (issue #64).