examples/kerneltest/run.sh
changeset 614 9b1fe0532d0d
parent 391 7802a7d5584f