menu "HAL"
    source "$OS_ROOT/drivers/hal/$(SRC_HAL)/Kconfig"
endmenu
