These files are BINARY since they are Cadence proprietary. If you would like to donate hardware to the cause, your OS can be supported.