| #!/bin/sh | |
| cp -v board/minnowboard/grub.cfg ${BINARIES_DIR}/efi-part/EFI/BOOT/grub.cfg | |
| # Add a console on tty1 | |
| 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 |