#!/bin/bash
instmods "=drivers/infiniband"
