raspberrypi/noobs — pull request #99 by lurch (2013-09-22 23:31:13+00:00)
Title: Extra recovery.cmdline options to control Recovery Mode 'triggering'

Keyboard, GPIO and cmdline can now all independently trigger the
Recovery Mode, and also be independently disabled