I have spent another day trying to get this machine to run OpenBSD but have had no success. Since for some reason the network interface is not working I have resorted to loading the ramdisk image from the USB key:
sunxi# fatload usb 0 0x40200000 bsd.rd.SUNXI.umg reading bsd.rd.SUNXI.umg 8026368 bytes read in 434 ms (17.6 MiB/s) sunxi# bootm 0x40200000 ## Booting kernel from Legacy Image at 40200000 ... Image Name: boot Image Type: ARM Linux Kernel Image (uncompressed) Data Size: 8026304 Bytes = 7.7 MiB Load Address: 40300000 Entry Point: 40300000 Verifying Checksum ... OK Loading Kernel Image ... OK Starting kernel ... after which the system hangs indefinitely. u-boot version is mainline 2015.07 and I am trying to load an OpenBSD snapshot. Kind regards, Viktor