diff options
Diffstat (limited to 'platforms/barebox.in')
| -rw-r--r-- | platforms/barebox.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/platforms/barebox.in b/platforms/barebox.in index 702828f81..a98fddf74 100644 --- a/platforms/barebox.in +++ b/platforms/barebox.in @@ -51,4 +51,12 @@ config BAREBOX_EXTRA_ENV_PATH default "${PTXDIST_PLATFORMCONFIGDIR}/barebox-defaultenv" depends on BAREBOX_EXTRA_ENV +config BAREBOX_BAREBOXENV + prompt "install 'bareboxenv'" + bool + help + The tool 'bareboxenv' can be used to manipulate the barebox + environment. Enable this option access the barebox environment + from the target Linux system. + endif |