PI.REBOOT - jedimatt42/tipi GitHub Wiki
PI.REBOOT special file
Simply, if this file is created ( Opened, closed ), then the Raspberry PI will reboot.
BASIC example:
10 OPEN #1:"PI.REBOOT",OUTPUT,DISPLAY
30 CLOSE #1
40 PRINT "PI REBOOT INITIATED."