#!/bin/bash

echo prefix=/usr
echo Kernel=4.1.44-06.132.vhulk1711.1.1.aarch64
echo
echo "Configure options: --with-core-mod --with-user_mad-mod --with-user_access-mod --with-addr_trans-mod --with-mlxfw-mod --with-mlx4-mod --with-mlx4_en-mod --with-mlx5-mod --with-ipoib-mod --with-innova-flex --with-mdev-mod"
echo
