singrdk/base/Applications/Benchmarks/bartok/kernel/kernel.exe