Commit 994cd775012ff4f8c3798976078834f22e7f6e1e

ckolivas 2012-02-22T20:01:09

Allow writing of multiple kernels to the configuration file.