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