kernel-related settings