blob: 40fb0f1fbd10d5a77b959f03f6d93ecd1051c982 [file] [log] [blame]
Tom Rini10e47792018-05-06 17:58:06 -04001// SPDX-License-Identifier: GPL-2.0+
Alexey Brodkin3a59d912014-02-04 12:56:14 +04002/*
3 * Copyright (C) 2013-2014 Synopsys, Inc. All rights reserved.
Alexey Brodkin3a59d912014-02-04 12:56:14 +04004 */
5
6#include <command.h>
7#include <common.h>
8
9int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char *const argv[])
10{
11 printf("Put your restart handler here\n");
12
13#ifdef DEBUG
14 /* Stop debug session here */
15 __asm__("brk");
16#endif
17 return 0;
18}