diff options
-rw-r--r-- | doc/user_manual.rst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/user_manual.rst b/doc/user_manual.rst index ad1b11206..954727dc0 100644 --- a/doc/user_manual.rst +++ b/doc/user_manual.rst @@ -189,6 +189,11 @@ usually needed for daily usage: the current selected platform. To run this feature, the kernel must be already set up for this platform. +``menuconfig barebox`` + Runs the standard Barebox bootloader Kconfig to configure the bootloader for + the current selected platform. To run this feature, the bootloader must + be already set up for this platform. + ``menuconfig collection`` If multiple platforms are sharing one userland configuration, collections can define a subset of all selected packages for |