# Het pad bevat een asterisk omdat het getal afhankelijk is van de boot-
# volgorde van het systeem.
SLOTS=`ls /sys/devices/bone_capemgr.*/slots`
DTSNAME="BB-BONE-IRMUX"

# De overlay kan maar een keer geladen worden, omdat de tweede keer de
# geheugenadressen in de driver niet meer kloppen.
if cat $SLOTS | grep $DTSNAME &>/dev/null; then
  echo "$DTSNAME is al geladen."
else
  echo $DTSNAME > $SLOTS
fi