Boot method: microSD/USB
Image version: https://d-i.debian.org/daily-images/arm64/20230103-02:24/netboot/mini.iso
Date: 2022-01-03 ~21:00 UTC
Machine: Hardkernel Odroid C2
Partitions:
Filesystem Type 1K-blocks Used Available Use% Mounted on
udev devtmpfs 826416 0 826416 0% /dev
tmpfs tmpfs 197476 552 196924 1% /run
/dev/mapper/odc2a-odc2x--root ext4 5676852 1530324 3837280 29% /
tmpfs tmpfs 987360 0 987360 0% /dev/shm
tmpfs tmpfs 5120 0 5120 0% /run/lock
/dev/mmcblk1p4 vfat 487160 41952 445208 9% /boot/efi
tmpfs tmpfs 197472 0 197472 0% /run/user/1000
Base System Installation Checklist:
[O] = OK, [E] = Error (please elaborate below), [ ] = didn't try it
Initial boot: [O]
Detect network card: [O]
Configure network: [O]
Detect media: [ ]
Load installer modules: [O]
Clock/timezone setup: [O]
User/password setup: [O]
Detect hard drives: [O]
Partition hard drives: [O]
Install base system: [O]
Install tasks: [O]
Install boot loader: [E]
Overall install: [O]
Comments/Problems:
Using u-boot-amlogic 2023.01~rc4+dfsg-1 on microSD as the EFI
implementation, I loaded the mini.iso onto a USB stick and booted
debian-installer from that.
Failed installing grub, as the u-boot EFI implementation did not have
a place to save variables. Worked around by selecting "continue
without a bootloader" and manually running:
chroot grub-install --force /dev/mmcblk1
chroot update-grub
Grub did not display on the serial console at first boot, fixed by
adding "GRUB_TERMINAL=serial" to /etc/default/grub.d/serial.cfg and
re-running update-grub.
Ethernet worked from debian-installer just fine, but not reliably from
the booted system. Copied the /dtb/ directory from the EFI partition
on the debian-installer media to /boot/efi/dtb/ (which matches the
installed kernel), and then ethernet worked on the next boot. Could
have also copied the dtb files from /usr/lib/linux-image-VERSION too,
probably.
Would also be possible to install using SD card images once
https://bugs.debian.org/1027176 is fixed or worked around.
live well,
vagrant