There were no reboot options. The damn thing wouldn't turn on. My friend now has an XPS13 (which he had for just over a year before an issue with the fan prompted him to return it to the retailer for repair; amusingly the retailer screwed that up and offered him a new one as a replacement).