#!/bin/sh

# fw ext setup

# set TEE
if [ -e "../tee" ]; then

  # add only tee specific values
  EXTBOOTFILE="$EXTBOOTFILE;../tee.ini"
  EXTLAZYBOOTFILE="$EXTLAZYBOOTFILE;../tee.ini"
  EXTPRS="$EXTPRS;../tee.prs"
  # FWBOOTCP="$FWBOOTCP"

  export EXTBOOTFILE
  export EXTLAZYBOOTFILE
  export EXTPRS
  export FWBOOTCP
  
else
  echo "The file ../tee doesn't exist!"
fi
