#!/bin/bash 
# set -xv
. driver_info
2>/dev/null kmutil showloaded | fgrep "${DRIVER_BUNDLE_IDENTIFIER}"

