diff --git a/docs/Developer-Guide_User-Configurations.md b/docs/Developer-Guide_User-Configurations.md index 12f9c8b1..01e2e818 100644 --- a/docs/Developer-Guide_User-Configurations.md +++ b/docs/Developer-Guide_User-Configurations.md @@ -19,10 +19,10 @@ If file `userpatches/lib.config` exists, it will be called and can override the ## User provided kernel config -If file `userpatches/linux-$LINUXFAMILY-$RANCH.config` exists, it will be used instead of default one from `config`. Look for the hint at the beginning of kernel compilation process to select proper config file name. Example: +If file `userpatches/linux-$LINUXFAMILY-$BRANCH.config` exists, it will be used instead of default one from `config`. Look for the hint at the beginning of kernel compilation process to select proper config file name. Example: - [ o.k. ] Compiling edge kernel [ @host ] - [ o.k. ] Using kernel config file [ config/linux-sunxi-edge.config ] + [ o.k. ] Compiling current kernel [ 5.10.47 ] + [ o.k. ] Using kernel config provided by user [ userpatches/linux-rockchip64-current.config ] ## User provided sources config overrides