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