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.
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.