SwingSetKernelConfig: SwingSetConfig & {
    idToBundle: Record<BundleID, Bundle>;
    namedBundleIDs: Record<string, BundleID>;
}

the config object passed to initializeKernel