examples/kerneltest/run.sh
changeset 437 129bbe0504e4
parent 391 7802a7d5584f