Linux supports some other executable formats for embedded systems, but they don't have much less overhead than ELF.