K 10 svn:author V 6 adrian K 8 svn:date V 27 2015-02-07T23:09:03.115883Z K 7 svn:log V 93 Add WPI_DEBUG option. PR: kern/197143 Submitted by: Andriy Voskoboinyk END