#!/usr/bin/env python

uboot_filename = 'u-boot.bin'
kernel_filename = 'uImage'

uboot = file(uboot_filename).read()
kernel = file(kernel_filename).read()

print hex(len(uboot)), hex(len(kernel))

if len(uboot) > 0x40000:
    print 'u-boot.bin is too big'
elif len(kernel) > 0x1c0000:
    print 'kernel is too big'
else:
    outimg = file('combined.bin', 'wb')
    outimg.write(uboot)
    outimg.write('\x00'*(0x40000-len(uboot)))
    outimg.write(kernel)