#!/bin/sh

cat <<EOF
if [ -d /sys/firmware/efi ]; then
  echo "
  # On EFI systems we can only have graphics *or* serial, so allow the user
  # to switch between the two
  hiddenentry 'Text mode' --hotkey 't' {
    set textmode=true
    terminal_output console
  }"
fi
EOF
