It seems in f9-kernel, it didn't provide any function for timing measurement. And there isn't an asm instruction like `rdtsc`, maybe need to think a method to provide this function.