From what I've read, they did consider Linux, but went with Xinu instead as the GPLv2 was not clear enough for the lawyers.