3 ${DEVICE_IP} ${TOOLS_SYSTEM_IP}
4 ${MININET} ${DEVICE_IP}
5 ${DEVICE_USER} ${TOOLS_SYSTEM_USER}
6 ${MININET_USER} ${DEVICE_USER}
7 ${DEVICE_PASSWORD} ${TOOLS_SYSTEM_PASSWORD}
8 ${MININET_PASSWORD} ${DEVICE_PASSWORD}
9 ${MININET_PROMPT} ${TOOLS_SYSTEM_PROMPT}
10 ${DEVICE_TYPE} mininet
11 ${DEVICE_DESCRIPTION} None
12 ${DEVICE_HW_INFO} Open vSwitch
13 ${DEVICE_SW_INFO} 2.0.0
14 ${DEVICE_MANUFACTURE} Nicira, Inc.
15 ${DEVICE_SERIAL_NUMBER} None