SDK 1.8 was only tested with Ubuntu 14.04. It may fail if you attempt to install it on a later version. If you are installing on Ubuntu 14.04, and there are still error messages, check this post for more suggestions.
Hope this helps,
I solved it by installing ubuntu 14.04. But after I installed the SDK, where do I find some bare metal examples (i.e. without an operating system) to be tested on the board?
No bare board software demos are available for T1040, sorry. If you are looking for a reference code to bringup and control a peripheral, you can look at Linux drivers: