/* Global variables for the kernel. */