# Install GRUB, chainloaded from U-Boot via UEFI.
mount --bind /dev /mnt/xu4/dev
mount --bind /proc /mnt/xu4/proc
# Install GRUB, chainloaded from U-Boot via UEFI.
mount --bind /dev /mnt/xu4/dev
mount --bind /proc /mnt/xu4/proc
# to work around Debian bug #824399.
echo "echo 'Loading device tree ...'"
echo "devicetree /exynos5422-odroidxu4.dtb"
# to work around Debian bug #824399.
echo "echo 'Loading device tree ...'"
echo "devicetree /exynos5422-odroidxu4.dtb"