iris/userspace/boot/mkthreadlist

#!/bin/bash
cat << EOF
	.globl init_start
	.globl thread_start
	.set noreorder
	.balign 0x1000
EOF

for i in "$@" ; do
	cat << EOF
${i##*/}:
	.incbin "fs/${i##*/}.elf"
	.balign 0x1000
EOF
done

cat << EOF
end_threads:
init_start:
thread_start:
EOF

for i in "$@" ; do
	cat << EOF
	.word ${i##*/}
EOF
done

cat << EOF
	.word end_threads
	.word 0
EOF