1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright (C) 2018, Bin Meng <bmeng.cn@gmail.com> 4 */ 5 6 #include <common.h> 7 #include <command.h> 8 9 int do_reset(cmd_tbl_t *cmdtp, int flag, int argc, char * const argv[]) 10 { 11 printf("resetting ...\n"); 12 13 printf("reset not supported yet\n"); 14 hang(); 15 16 return 0; 17 } 18