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