# Work around Debian bug #824391.
echo ttySAC2 >> /mnt/xu4/etc/securetty
+# Work around Debian bug #825026.
+echo ledtrig-heartbeat >> /mnt/xu4/etc/modules
+
# Install GRUB, chainloaded from U-Boot via UEFI.
mount --bind /dev /mnt/xu4/dev
mount --bind /proc /mnt/xu4/proc
#! /bin/sh
set -e
-# Hack added by prepare.sh when building the root image,
+# Hack added by mkimage.sh when building the root image,
# to work around Debian bug #824399.
echo "echo 'Loading device tree ...'"
echo "devicetree /exynos5422-odroidxu4.dtb"
EOF
chmod 0755 /mnt/xu4/etc/grub.d/25_devicetree
-# Work around Debian bug #823552.
-sed -i 's/\(GRUB_CMDLINE_LINUX_DEFAULT=".*\)"/\1 loglevel=4"/' /mnt/xu4/etc/default/grub
-
# Now we can create the GRUB boot menu.
chroot /mnt/xu4 /usr/sbin/update-grub