set -e

cat <<EOF
insmod smbios
smbios --type 1 --get-string 4 --set system_manufacturer
smbios --type 1 --get-string 5 --set board_name

if [ "\$system_manufacturer" = "QEMU" ]; then
  set redoptions=console=ttyS0,115200
elif ["\$board_name" = "UP-ADLN01" ]; then
  # this is up7000
  set redoptions=console=ttyS1,115200
else
  set redoptions=console=ttyS0,115200
fi
EOF
