Check disksize on swap_bootstrap
Merge branch 'addrspace' of github.com:cse451/os161 into addrspace
Removed extra KASSERTs in vm.c