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