TK1 not rebooting after system flash

Upon flashing the TK1 dev kit it just keeps running without rebooting

What about manual reboot? Also, is the serial console connected?

Hi JerryKD,

Have you clarified where the problem was and resolved?
Any further information can be shared?

Thanks