timing ok, running kernel