raspberrypi/noobs — pull request #181 by stevekmcc (2014-02-18 16:25:04+00:00)
Title: How to change display on subsequent boots

See Issue #180 for proposal to recognize number keys at the OS selection screen, removing the need for this workaround.