FAIL tests/userprog/args-none
FAIL tests/userprog/args-dbl-space
FAIL tests/userprog/sc-bad-sp
FAIL tests/userprog/sc-bad-arg
FAIL tests/userprog/create-null
FAIL tests/userprog/create-bad-ptr
FAIL tests/userprog/open-null
FAIL tests/userprog/open-bad-ptr
FAIL tests/userprog/read-bad-ptr
FAIL tests/userprog/write-bad-ptr
FAIL tests/userprog/exec-bad-ptr
FAIL tests/userprog/wait-twice
FAIL tests/userprog/wait-killed