Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Improve performance of get_kernel_spec #311
This avoids doing a full scan of kernel specs each time
A caching solution could improve performance even more, but would be much more complex - this collects the low-hanging fruit.