ref: 6d96b35fadcb7d2f4fee5cc03f2155a6aaa472da dir: /rc/bin/reboot/
#!/bin/rc echo reboot $* > /dev/reboot