u-boot SPL source or config options

[thepian]

I'm naively imagining that the tiny SPL part (49KB) isn't proprietary. Especially considering that several Allwinner SoCs are mainlined. Can you provide the source for it, or at least the .config file so there is a chance of reproducing it?

While you're at it how about the build output for the Linux kernel. It would be nice to know what the device support it has.