What devices are needed to make the mk48txx driver work? It contains a watchdog and I am trying to verify a few changes to that part. But whatever I do I bump into errors. device mk48txx shouts about clock_if.h not being found. Adding device genclock produces duplicate symbols (resettodr). What's it do anyway? No manpage. Nick