#!/bin/bash
#
# This is sourced by the run scripts.

platformconfig=selected_platformconfig
# fallback to platformconfig in the same dir as this script
if [ ! -e "$platformconfig" ]; then
	platformconfig=$(dirname $0)/platformconfig
fi

#
# we need information about the platform
#
if [ ! -e "$platformconfig" ]; then
	echo "error: selected_platformconfig does not exist"
	echo "       please use 'ptxdist platform ...' or 'ptxdist --platformconfig=...'"
	exit 1
fi

source $platformconfig

if [ -n "${PTXCONF_PLATFORM}" ]; then
	PTXDIST_PLATFORMDIR="./platform-${PTXCONF_PLATFORM}"
else
	PTXDIST_PLATFORMDIR="."
fi

if [ ! -e "${PTXDIST_PLATFORMDIR}/images/linuximage" ]; then
	echo "error: run 'ptxdist go' first"
	exit 1
fi

if [ ! -e "${PTXDIST_PLATFORMDIR}/images/hd.img" ]; then
	echo "error: run 'ptxdist images' first"
	exit 1
fi

#if [ ! -e "${PTXDIST_PLATFORMDIR}/images/nor0.img" ]; then
#	echo "error: run 'ptxdist images' first"
#	exit 1
#fi

# the emulator to run
QEMU_EXEC="${PTXDIST_PLATFORMDIR}/sysroot-host/bin/qemu-system-arm"

if [ ! -e "${QEMU_EXEC}" ]; then
	echo "error: enable and install 'host-qemu' first"
	exit 1
fi

# disable this, if you want to have some graphics output
QEMU_NOGRAPHIC=-nographic

# Machine to emulate: The default kernel is prepared to run on "versatile pb"
QEMU_MACHINE=vexpress-a9

#
# 'user mode' network related settings
#
PLATFORM_IP="10.0.2.7"

#
# *_INTERNAL_PORT: the port a service would connect (in the emulated system)
# *_EXTERNAL_PORT: port QEMU opens at the host side to give access to the ${*_INTERNAL_PORT}
#
TELNET_INTERNAL_PORT=23
TELNET_EXTERNAL_PORT=20023

HTTP_INTERNAL_PORT=80
HTTP_EXTERNAL_PORT=20080

if [ -z "${VDE_SOCKET}" ]; then
	for dir in $(ls -d /var/run/vde2/*.ctl 2>/dev/null); do
		if [ -r "${dir}" ]; then
			VDE_SOCKET="${dir}"
		fi
	done
fi
if [ -n "${VDE_SOCKET}" ]; then
	if ${QEMU_EXEC} --help | grep -q -- '-net vde'; then
		QEMU_NET="-net vde,vlan=1,sock=${VDE_SOCKET}"
	fi
fi
if [ -z "${QEMU_NET}" ]; then
	QEMU_NET="-net user,vlan=1"
	PLATFORM_IP=""
fi

QEMU_REDIR=" \
	-redir tcp:${TELNET_EXTERNAL_PORT}:${PLATFORM_IP}:${TELNET_INTERNAL_PORT} \
	-redir tcp:${HTTP_EXTERNAL_PORT}:${PLATFORM_IP}:${HTTP_INTERNAL_PORT} \
"