2018-10-26 19:51:01 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -u
|
|
|
|
|
set -e
|
|
|
|
|
|
2020-12-25 12:47:35 +01:00
|
|
|
BOARD_DIR="$(dirname $0)"
|
|
|
|
|
|
2018-10-26 19:51:01 +02:00
|
|
|
# Add a console on tty1
|
2018-11-12 13:20:09 +01:00
|
|
|
#if [ -e ${TARGET_DIR}/etc/inittab ]; then
|
|
|
|
|
# grep -qE '^tty1::' ${TARGET_DIR}/etc/inittab || \
|
|
|
|
|
# sed -i '/GENERIC_SERIAL/a\
|
|
|
|
|
#tty1::respawn:/sbin/getty -L tty1 0 vt100 # HDMI console' ${TARGET_DIR}/etc/inittab
|
|
|
|
|
#fi
|
2018-10-30 15:55:12 +01:00
|
|
|
|
|
|
|
|
cp -f ../buildroot-external/board/raspberrypi/config.txt ${BINARIES_DIR}/rpi-firmware/config.txt
|
|
|
|
|
cp -f ../buildroot-external/board/raspberrypi/cmdline.txt ${BINARIES_DIR}/rpi-firmware/cmdline.txt
|
