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