diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2013-11-11 17:47:33 +0100 |
|---|---|---|
| committer | Peter Korsgaard <peter@korsgaard.com> | 2013-12-01 23:44:13 +0100 |
| commit | 1cece2813bf635ae29e9a8287322439b9c5992f7 (patch) | |
| tree | 2169e263807572d4aad9ecfe341b0b72e2f98f4b /boot/grub/Config.in | |
| parent | 741740cee6e88eb14600a95b8fdd06f32a9fb271 (diff) | |
| download | buildroot-1cece2813bf635ae29e9a8287322439b9c5992f7.tar.gz buildroot-1cece2813bf635ae29e9a8287322439b9c5992f7.zip | |
grub: add option to configure the list of supported filesystems
Grub can be configured to enable or disable the filesystems supported
in the stage 2. In addition, there are filesystem specific stage
1.5. In order to save space and build time, we provide a new option
that allows to give a space-separated list of filesystems that Grub
should support.
We default to support FAT and ext2, since most of the other
filesystems are fairly unlikely to be used.
We use this option to:
1) Pass --enable-<fs> or --disable-<fs>, which enables/disables the
support of <fs> in Grub stage 2.
2) Install only the stage 1.5 that correspond to the selected
filesystems.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'boot/grub/Config.in')
| -rw-r--r-- | boot/grub/Config.in | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/boot/grub/Config.in b/boot/grub/Config.in index ee92250b1a..65b95e1aa0 100644 --- a/boot/grub/Config.in +++ b/boot/grub/Config.in @@ -15,6 +15,14 @@ config BR2_TARGET_GRUB_SPLASH A splashimage is a 14-color indexed .xpm picture which is displayed as background for the grub menu. +config BR2_TARGET_GRUB_FS_SUPPORT + string "Filesystem to support" + default "ext2fs fat" + help + Space separated list of filesystems to support. Possible + values are ext2fs, fat, ffs, ufs2, minix, reiserfs, vstafs, + jfs, xfs and iso9660. + config BR2_TARGET_GRUB_DISKLESS bool "diskless support" help |
