It would be useful to have a function like toKernelJson for formatKernels that gets a list of kernel paths and uses the Config obj to sort them into a Kernels JSON object.
For example,
kernels = formatKernels(["k1.fk". "k2.ti", "k3.bsp"])
print(kernels)
>>> {
"fk" : ["k1.fk"],
"spk" : ["k2.bsp"],
"ik" : ["k2.ti"]
}