grub: add option to configure the list of supported filesystems
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Mon, 11 Nov 2013 16:47:33 +0000 (17:47 +0100)
committerPeter Korsgaard <peter@korsgaard.com>
Sun, 1 Dec 2013 22:44:13 +0000 (23:44 +0100)
commit1cece2813bf635ae29e9a8287322439b9c5992f7
tree2169e263807572d4aad9ecfe341b0b72e2f98f4b
parent741740cee6e88eb14600a95b8fdd06f32a9fb271
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>
boot/grub/Config.in
boot/grub/grub.mk