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