Organization U-Boot for retail OS

This question is probably mostly aimed at aTc:

Right now, you only provide precompiled U-Boot binaries in the OS. Nowhere on gitlab have I found where the sources for those are.

I know we've got at least one developer experienced with U-Boot now at this mailing list.

Could you please point us to the sources of the U-Boot we use?

I also think we should put the Pyra-U-Boot sources to our gitlab so we can start adding Pyra-Specific stuff (bootlogo, mini charger, menu, etc.) to it.

What does everyone else think?