rsource "arcs/hal/Kconfig"