Implemented Kernel Post-boot testing.
authoralfongj <alfongj@gmail.com>
Thu, 24 Apr 2014 01:32:42 +0000 (18:32 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 May 2014 23:23:30 +0000 (16:23 -0700)
commit5277f93e9440ae3f7d9fb1d7424cb97b6b517613
treee3ba52d8e0e18c7855cc798dae9f2b908122086a
parent9e593882d3cb606efaa9e778014d8d302e10e236
Implemented Kernel Post-boot testing.

1. Added generic C unit testing macros in kern/include/test_infra..
2. Moved current Postboot tests from kern/src/testing.c to
   kern/src/tests_pb_kernel.c and modified many to use the new unit
   testing standard.
3. Added kern/src/tests.c as a file in which to register all kernel
   testing functions (can be extended in the future with new tests)
4. Modified kern/src/manager.c to run kernel postboot tests if they
   are set up.
5. Modified KConfig to add a config variable for configuring
   whether to run these tests post boot or not.
6. Added Documentation/testing.txt (W.I.P.).
7. Modified necessary headers and KBuild files.
Documentation/testing.txt [new file with mode: 0644]
Kconfig
kern/Kconfig.testing [new file with mode: 0644]
kern/include/test_infrastructure.h [new file with mode: 0644]
kern/include/testing.h
kern/src/Kbuild
kern/src/manager.c
kern/src/testing.c [deleted file]
kern/src/tests.c [new file with mode: 0644]
kern/src/tests_pb_kernel.c [new file with mode: 0644]