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