3 cp -v board
/minnowboard
/grub.cfg
${BINARIES_DIR}/efi-part
/EFI
/BOOT
/grub.cfg
5 # Add a console on tty1
6 if [ -e ${TARGET_DIR}/etc
/inittab
]; then
7 grep -qE '^tty1::' ${TARGET_DIR}/etc
/inittab || \
8 sed -i '/GENERIC_SERIAL/a\
9 tty1::respawn:/sbin/getty -L tty1 0 vt100 # HDMI console' ${TARGET_DIR}/etc
/inittab