examples/kerneltest/run.sh
changeset 786 8dbe0aec4f36
parent 391 7802a7d5584f