You can see everything that I needed to do to get my minimal Debian running. It was not easy to get u-boot running, and still missing some features from the one we have installed in the official OS (HDMI, and LED support). But maybe is a good start, and someone else can help me to improve it.