The Raspberry PI boots off an SD card. You can either prepare it yourself, or you can give the SD card to BELS staff and pay a small fee (about $10) for the service.
If you don't have a terminal program installed, you will likely not be able to do the boot camp.