1#! @bash@/bin/sh -e
2
3target=/boot # Target directory
4
5while getopts "t:c:d:g:" opt; do
6 case "$opt" in
7 d) target="$OPTARG" ;;
8 *) ;;
9 esac
10done
11
12copyForced() {
13 local src="$1"
14 local dst="$2"
15 cp $src $dst.tmp
16 mv $dst.tmp $dst
17}
18
19# Call the extlinux builder
20"@extlinuxConfBuilder@" "$@"
21
22# Add the firmware files
23fwdir=@firmware@/share/raspberrypi/boot/
24copyForced $fwdir/bootcode.bin $target/bootcode.bin
25copyForced $fwdir/fixup.dat $target/fixup.dat
26copyForced $fwdir/fixup_cd.dat $target/fixup_cd.dat
27copyForced $fwdir/fixup_db.dat $target/fixup_db.dat
28copyForced $fwdir/fixup_x.dat $target/fixup_x.dat
29copyForced $fwdir/start.elf $target/start.elf
30copyForced $fwdir/start_cd.elf $target/start_cd.elf
31copyForced $fwdir/start_db.elf $target/start_db.elf
32copyForced $fwdir/start_x.elf $target/start_x.elf
33
34# Add the uboot file
35copyForced @uboot@/u-boot.bin $target/u-boot-rpi.bin
36
37# Add the config.txt
38copyForced @configTxt@ $target/config.txt