# kernel_configs

kernel configurations for various devices