Loaded Kernel Definition