Well, it's totally up to cross-compiler provider/vendor, so there is no common answer. But in my case ARM Linux headers can be found in /usr/arm-linux-gnueabi/include/. But once again, beauty is that you don't have to know, just call cross-compiler and pass it to somebody else. Well, unless you are in business of providing cross-compiler, but we aren't and you don't seem to be...