#!/bin/sh

#  We need to 'touch' the Extensions directory so that,
#  on the next reboot, the kernel extension cache is
#  updated to pick up the new driver.

sudo touch /System/Library/Extensions
sudo touch /System/Library/Extensions.kextcache

#  Now load the driver.

sudo kextload /System/Library/Extensions/SiliconImage3132r5.kext
