Configuration

The values that the user selects for configuration variables defined in a device file are stored in the FILE_CONFIG section of the board file. The section just contains a list of the values for each device that is assigned a device file that requires configuration variables to be set.

Syntax

FILE_CONFIG
    VALUES
        deviceRef.variable := [ integer | "string" ] ;
        ...
    END;
END;

The deviceRef is the reference of the device, which this configuration values is for and variable is the name of the variable being assigned to. The value of the variable can then be either an integer or a quoted string depending on its type. Integers are simple decimal values, hexadecimal values if prefixed with 0x or binary values if prefixed with 0b.

Example

FILE_CONFIG
    VALUES
        IC12.PROGRAM_FLASH := 1;
        IC12.FLASH_FORMAT := "hex";
        IC12.PROGRAM_FLASH := 1;
        IC1.DEBUG := 0;
    END;
END;