Commit 4d730577728b88351da6d05916c629d351a04d74

Con Kolivas 2011-06-30T10:36:19

Build binaries with unique filenames from the kernel generated and save them. Try to load this cached binary if it matches on next kernel instantiation. This speeds up start-up dramatically, and has a unique kernel binary for different kernel configurations.