#!/bin/bash
GEN=crc
for i in . "$(dirname "$(readlink -f "$0")")"; do
	if [ -x "$i/$GEN" ]; then
		GEN="$i/$GEN"
		break
	fi
done

web="$1"
kernel="$2"
out="$3"
if [ ! -x "$GEN" ]; then
	echo "Missing $GEN -- aborting"
	exit 1
fi
if [ -r "$web" -a -r "$kernel" -a -n "$out" ]; then
	cat "$web" <("$GEN" "$kernel" /dev/stdout) > "$out"
	printf 'BRN4519JW\0' >> "$out"
else
	echo "Usage: $0 web/pfs-file kernel output"
fi