/* * Copyright (C) 2014 Ludwig Knüpfer * * This file is subject to the terms and conditions of the GNU Lesser * General Public License v2.1. See the file LICENSE in the top level * directory for more details. */ /** * @ingroup sys_shell_commands * @{ * * @file * @brief Shell commands for system calls * * @author Ludwig Knüpfer * * @} */ #include "reboot.h" int _reboot_handler(int argc, char **argv) { (void) argc; (void) argv; reboot(); return 0; }