makebin.py

#!/usr/bin/env python

import sys, os, struct

loaderfile = sys.argv[1]
elffile = sys.argv[2]
outfile = sys.argv[3]

with open(loaderfile,"rb") as f:
	data = f.read()

hdrlen, loaderlen, elflen, arg = struct.unpack(">IIII",data[:16])

if hdrlen < 0x10:
	print("ERROR: header length is 0x%x, expected at least 0x10"%hdrlen)
	sys.exit(1)

loaderoff = hdrlen
elfoff = loaderoff + loaderlen
elfend = elfoff + elflen

hdr = data[:hdrlen]
loader = data[loaderoff:elfoff]

elf = open(elffile,"rb").read()

if elflen > 0:
	print("WARNING: loader already contains ELF, will replace")

elflen = len(elf)

if loaderlen < len(loader):
	print("ERROR: loader is larger than its reported length")
	sys.exit(1)

if loaderlen > len(loader):
	print("Padding loader with 0x%x zeroes"%(loaderlen-len(loader)))
	loader += b"\x00"*(loaderlen-len(loader))

newdata = struct.pack(">IIII", hdrlen, loaderlen, elflen, 0) + hdr[16:]
newdata += loader
newdata += elf

print("Header: 0x%x bytes"%(hdrlen))
print("Loader: 0x%x bytes"%(loaderlen))
print("ELF:    0x%x bytes"%(elflen))

with open(outfile,"wb") as f:
	f.write(newdata)