Ubuntu 16 arm32 on PetaLinux with custom hdf

Basically I needed to load Ubuntu 16.04 on a SBC ARMv7. I listed down the pages I used for references.

Links for custom hdf for fpgma

Links for kernel configuration

Links that I used to troubleshoot:

axi timer bug

Booti issue