The installer handles this case well :-). At the point at which
it starts partitioning and formatting the installation target,
all components required by the installer are already in RAM, so
it is no problem to overwite the SD card from which the installer
had originally been loaded.
Ok, so that unfortunately means that there is no way for Debian
to provide official bootable SD card images for this platform.
Debian has a separate u-boot binary for every platform as u-boot
is always platform-specific. U-Boot isn't only a bootloader like
GRUB but also provides BIOS-like functions (e.g. setting up the
DRAM controller and providing PSCI callbacks to the kernel, which
is highly hardware-dependent). The kernel itself is generic;
the platform-specific information required by the kernel is in
the device-tree file.
I think the best way would be to get a serial console cable for
the board so that you can interact with u-boot and see debug
output. You could then start with the "generic" netboot installer
SD card image (which contains the kernel, the device-trees and
the installer, but no u-boot) and try adding a proper u-boot and
device-tree for your platform to it. Once this works, you could
then move on to trying it with the net-console variant.
To get the "generic" image, run the following steps:
$ wget https://d-i.debian.org/daily-images/armhf/daily/netboot/SD- card-images/partition.img.gz
$ wget https://d-i.debian.org/daily-images/armhf/daily/netboot/SD- card-images/firmware.none.img. gz
$ zcat firmware.none.img.gz partition.img.gz > SD_card.img
Note: today's daily image build has failed due to a kernel
upgrade in unstable that needs adjustments in the installer
source code; I'm just in the process of addressing that, so
please wait until tomorrow before trying it out ;-).
As long as the location of the proprietary bootcode for the Exynos
doesn't conflict with our standard partition layout, that should
work.