#!/bin/sh

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
