diff options
Diffstat (limited to 'boot/Config.in')
-rw-r--r-- | boot/Config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boot/Config.in b/boot/Config.in index 3950c49524..3687c41a2c 100644 --- a/boot/Config.in +++ b/boot/Config.in @@ -6,6 +6,7 @@ source "boot/at91bootstrap3/Config.in" source "boot/at91dataflashboot/Config.in" source "boot/arm-trusted-firmware/Config.in" source "boot/barebox/Config.in" +source "boot/binaries-marvell/Config.in" source "boot/boot-wrapper-aarch64/Config.in" source "boot/grub2/Config.in" source "boot/gummiboot/Config.in" |