I just found an open source SDK called "Embedded Linux Development Kit" for arm family. I am wondering if it works for iLiad. Actually, I don't need another sdk for iLiad, because the current one I am using is ok. Just out of curiosity.
Here is the download link:
ftp://ftp.denx.de/pub/eldk/4.2/arm-linux-x86/
I will give it a try if I know how to install and use it.
In the readme doc, there is a line:
The version of 4.2 and higher of ELDK has two ARM targets in distribution - one with the soft-float math support, and another one with the Vector Floating Point math support. Both targets comply with ARM Embedded Application Binary Interface (EABI).