Leaving Windows 7? Here are some non-Windows options.