1#! @bash@/bin/sh -e
2
3copyForced() {
4 local src="$1"
5 local dst="$2"
6 cp $src $dst.tmp
7 mv $dst.tmp $dst
8}
9
10# Call the extlinux builder
11"@extlinuxConfBuilder@" "$@"
12
13# Add the firmware files
14fwdir=@firmware@/share/raspberrypi/boot/
15copyForced $fwdir/bootcode.bin /boot/bootcode.bin
16copyForced $fwdir/fixup.dat /boot/fixup.dat
17copyForced $fwdir/fixup_cd.dat /boot/fixup_cd.dat
18copyForced $fwdir/fixup_db.dat /boot/fixup_db.dat
19copyForced $fwdir/fixup_x.dat /boot/fixup_x.dat
20copyForced $fwdir/start.elf /boot/start.elf
21copyForced $fwdir/start_cd.elf /boot/start_cd.elf
22copyForced $fwdir/start_db.elf /boot/start_db.elf
23copyForced $fwdir/start_x.elf /boot/start_x.elf
24
25# Add the uboot file
26copyForced @uboot@/u-boot.bin /boot/u-boot-rpi.bin
27
28# Add the config.txt
29copyForced @configTxt@ /boot/config.txt