Separated user-space config variable into two.
authoralfongj <alfongj@gmail.com>
Wed, 30 Apr 2014 21:57:51 +0000 (14:57 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 May 2014 23:23:30 +0000 (16:23 -0700)
commitae6f8f0d47b337ce6ecfb3b72cf6b8e76dc1b059
tree4acf1bc43144ae2adcf5f1b4c65a5ff70b08f48a
parenteb55348b17a1027d3097f9091268c66afce87c79
Separated user-space config variable into two.

CONFIG_USERSPACE_TESTING: whether tests are activated or not.
CONFIG_USERSPACE_TESTING_SCRIPT: path to test launcher.
kern/Kconfig.testing
kern/src/manager.c