Add a reboot() function to kernel.h definitions.
Implemented reboot() function for MSP430 MCUs
Function attributes are now defined elsewhere ("attributes.h")
Implemented reboot() function for ARM-based MCUs
Added while(1) to ensure GCC valids NORETURN; fixed indentation
implement rudimentary native reboot
Added while(1) to ensure GCC valids NORETURN; fixed indentation
Merge pull request #1 from LudwigOrtmann/native_reboot

implement rudimentary native reboot
add system calls to the shell
Merge pull request #2 from LudwigOrtmann/shell_syscalls

add system calls to the shell (to implement a reboot command)
added reboot and reset handler for lpc1768
replaced tabs with spaces
Merge pull request #3 from OlegHahm/lpc1768_reset

Lpc1768 reset
Merge remote-tracking branch 'origin/reboot' into reboot
Merge pull request #724 from rousselk/reboot

Reboot