Added "--real-os" command line option to help.