mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
25 lines
529 B
C
25 lines
529 B
C
|
/**
|
||
|
|
* Shell commands for system calls
|
||
|
|
*
|
||
|
|
* Copyright (C) 2014 Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
|
||
|
|
*
|
||
|
|
* This file is subject to the terms and conditions of the GNU Lesser General
|
||
|
|
* Public License. See the file LICENSE in the top level directory for more
|
||
|
|
* details.
|
||
|
|
*
|
||
|
|
* @ingroup shell_commands
|
||
|
|
* @{
|
||
|
|
* @file
|
||
|
|
* @brief shell commands for system calls
|
||
|
|
* @author Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
|
||
|
|
* @}
|
||
|
|
*/
|
||
|
|
|
||
|
|
#include "kernel.h"
|
||
|
|
|
||
|
|
void _reboot_handler(char *unused)
|
||
|
|
{
|
||
|
|
(void) unused;
|
||
|
|
reboot();
|
||
|
|
}
|