I built the version of the package on experimental with the patch on message #10.
Then I installed it and the ATF from atf-allwinner package to a SD card using "TARGET=/usr/lib/u-boot/a64-olinuxino u-boot-install-sunxi64 /dev/mmcblk1". With that SD card on the board I got an U-Boot prompt and managed to boot into debian-installer using the daily kernel and initrd. >From that prompt I also managed to boot the Ubuntu installation on the internal eMMC, and everything seemed to work there. On the U-Boot prompt neither ethernet nor USB work: > => dhcp > No ethernet found. > => usb start > starting USB... > No controllers found All of this was tested over the serial port, I haven't tested the HDMI output, nor do I know if it is expected to work. Even though USB and ethernet are not working I would say the image is useful enough that it should be included.

