I expect them to conform to the C standard or to deal with the deviation. I don't think POSIX compliance is of much use on an embedded target.