track the idle_thread() function in the kernel, so that we can know if we are idle...
[gem5.git] / kern /
drwxr-xr-x   ..
drwxr-xr-x - tru64