Add configurable kernel