Kills processes when MAP_POPULATE fails
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 22 Apr 2013 22:03:15 +0000 (15:03 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 24 Apr 2013 22:19:10 +0000 (15:19 -0700)
commit3bda38f01f66932622893396965306a8104783bd
treee368f39c67577354de44d11db8f093cc9a6f17e5
parentf84c812f0468d08fe2652fbb14a96386763bb836
Kills processes when MAP_POPULATE fails

Still have some issues with running out of memory: proc_destroy()
consumes memory (sending kernel messages, possibly blocking in the FS
when closing files), busybox doesn't wait on the dying process right
away, and the rest of the system is still running.
kern/src/mm.c