case_sensitive_filenames: Set to 1 if the underlying platform generally uses case sensitive filenames, or 0 otherwise. Note that this does not guarantee that specific file systems will respect this setting.
osname: The name of the operating system.
word_bits: Integer value of the number of bits in a machine word.
cvd_to_html ©2006-2007 Laurence Tratt