I was comparing kernels, the official one and the second from https://github.com/mtx512/linux-imx/tre ... 4.1.0-udoo ( it is used in Debian Jessie ) and I noticed that reboot command works with the second kernel. The official kernel hangs at the end ("restarting" message). I am trying to find the difference that makes it happen, but maybe someone found it already?
I'd like to know too If it's usefull for someone : you can workaround the pb using the watchdog feature : http://elinux.org/UDOO_watchdog I launch a /usr/bin/wd at boot (in /etc/rc.local) when the process is killed during the reboot sequence, the wd is trigged and the udoo reboot.