Hi your question is kinda vague. Did he purchase a os on a usb drive? He then formatted the drive? If he has the key code for the os he purchased he could get the os from here...