Index: evbarm/beagle/beagle_machdep.c =================================================================== RCS file: /cvsroot/src/sys/arch/evbarm/beagle/beagle_machdep.c,v retrieving revision 1.8 diff -u -u -r1.8 beagle_machdep.c --- evbarm/beagle/beagle_machdep.c 16 Jun 2010 22:06:54 -0000 1.8 +++ evbarm/beagle/beagle_machdep.c 27 Aug 2010 07:23:16 -0000 @@ -172,6 +172,7 @@ #include #include #include +#include #include @@ -298,6 +299,7 @@ #if NOMAPWDT32K > 0 omapwdt32k_reboot(); #endif + prcm_cold_reset(); cpu_reset(); /*NOTREACHED*/ } @@ -340,6 +342,7 @@ #if NOMAPWDT32K > 0 omapwdt32k_reboot(); #endif + prcm_cold_reset(); cpu_reset(); /*NOTREACHED*/ }