Trying to enable timer4 in Beaglebone black 3.8.13-bone79 following the thread:

where a platform driver is created to configure the dmtimer/timer4. DT is used to set output pin for timer4.

My problem is I couldn’t seem to set the pinmux for timer4. And after insmod <timer_driver>.ko, nothing seems to happen, the /proc/interrupt shows no interrupt no allocated.

Any idea what possibly went wrong?