A boot selector for the Raspberry Pi. Interactively pick, download, and install multiple OSes for the RasPi to the same SD card. The selection can be changed later. Also lets you use USB drives for storing those OSes instead of an SD card. HDMI enabled.