ipkernel doesn't have its own config file