Files
operating-system/buildroot-external/board/raspberrypi/post-image.sh
Pascal Vizeli 63453e0a3f Add 64bit flag to config for rpi
Signed-off-by: Pascal Vizeli <pvizeli@syshack.ch>
2018-06-11 15:51:06 +00:00

60 lines
1.4 KiB
Bash
Executable File

#!/bin/bash
set -e
SCRIPT_DIR=${BR2_EXTERNAL_HASSOS_PATH}/scripts
BOARD_DIR=${2}
BOOT_DATA=${BINARIES_DIR}/boot
. ${SCRIPT_DIR}/hdd-image.sh
. ${BR2_EXTERNAL_HASSOS_PATH}/info
. ${BOARD_DIR}/info
# Filename
IMAGE_FILE=${BINARIES_DIR}/${HASSOS_ID}_${BOARD_ID}-${VERSION_MAJOR}.${VERSION_BUILD}.img
# Eval kernel name
if [ "$BOARD_ID" == "rpi3-64" ]; then
KERNEL_NAME="Image"
else
KERNEL_NAME="zImage"
fi
# Init boot data
rm -rf ${BOOT_DATA}
mkdir -p ${BOOT_DATA}
cp -t ${BOOT_DATA} \
${BINARIES_DIR}/u-boot.bin \
${BINARIES_DIR}/boot.scr
cp -t ${BOOT_DATA} \
${BINARIES_DIR}/*.dtb \
${BINARIES_DIR}/rpi-firmware/bootcode.bin \
${BINARIES_DIR}/rpi-firmware/fixup.dat \
${BINARIES_DIR}/rpi-firmware/start.elf
cp -r ${BINARIES_DIR}/rpi-firmware/overlays ${BOOT_DATA}/
# Update Boot options
(
echo "kernel=u-boot.bin"
echo "disable_splash=1"
echo "dtparam=audio=on"
) > ${BOOT_DATA}/config.txt
echo "dwc_otg.lpm_enable=0 console=tty1" > ${BOOT_DATA}/cmdline.txt
# Enable 64bit support
if [ "$BOARD_ID" == "rpi3-64" ]; then
echo "arm_64bit=1" >> ${BOOT_DATA}/config.txt
fi
# Create other layers
create_boot_image ${BINARIES_DIR}
create_overlay_image ${BINARIES_DIR}
create_kernel_image ${BINARIES_DIR} ${KERNEL_NAME}
create_disk_image ${BINARIES_DIR} ${IMAGE_FILE} 2
fix_disk_image_mbr ${IMAGE_FILE}
rm -rf ${IMAGE_FILE}.gz
gzip --best ${IMAGE_FILE}