tree 15afed4e7a00a1ca5b04066246621e940c28bf5f
parent 122f6afaa5c29d933907e21f5a993e072a3c5745
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1409782885 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1409782885 +0000

Document the new --kernel-variant options committed in r14440.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14448 a5019735-40e9-0310-863c-91ae7b9d1cf9