@txt_file @PINE64 @debian new url is https://d-i.debian.org/daily-images/arm64/daily/u-boot/ which suggests that it comes with u-boot, yes.
I'll try the image some time next week. I wonder if their default kernel was used
@JayVii_de @PINE64 @debian flash-kernel (git master) got support for the #pinebook two weeks ago https://salsa.debian.org/installer-team/flash-kernel/-/commit/9c36bd379861180bd11c4b4dd002b381a55f388b
But it is not yet released.
For the installed system I recommend https://salsa.debian.org/debian/u-boot-menu/-/commit/517ca271d1e4757a55e000f8df486dfdde04a1be
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.