Kernel development tools (was Re: Software Prefetching using Machine learning)