gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 4a4441765dfdead347f7a49fb2a93d295325c095 / board / technologic / ts4800 / ts4800.h