#!/usr/bin/bash

echo prefix=/usr
echo Kernel=5.14.0-427.13.1.el9_4.x86_64
echo
echo "Configure options: --with-core-mod --with-user_mad-mod --with-user_access-mod --with-addr_trans-mod --with-mlxfw-mod --with-mlx5-mod --with-mlx5-ipsec --with-ipoib-mod --with-srp-mod --with-iser-mod --with-nfsrdma-mod --with-isert-mod --with-gds"
echo
