<custom>
   <property type="list" key="board" format="define" name="Selected board" defaultvalue="2">
       <option internalval="DEV_1307">Development board 1307</option>
       <option internalval="DEV_1442">Development board 1442</option>
       <option internalval="DEV_1508">Development board 1508</option>
       <description>
           <![CDATA[
           This option selects which development board you will be working with.
           ]]>
       </description>
   </property>
   <property type="list" key="cvc" format="define" name="Include CVC" defaultvalue="0">
       <option internalval="INCLUDE_CVC">Yes</option>
       <option internalval="NO_CVC">No</option>
       <description>
           <![CDATA[
           This option determines if CVC should be enabled.
           ]]>
       </description>
   </property>
   <property type="list" key="codec" format="define" name="Codec" defaultvalue="0">
       <option internalval="INTERNAL_CODEC">Internal</option>
       <option internalval="WOLFSON_CODEC_WM8731">Wolfson WM8731</option>
       <description>
           <![CDATA[
           This option selects the codec used.
           ]]>
       </description>
   </property>
   <property type="list" key="debug" format="define" name="Enable debug" defaultvalue="1">
       <option internalval="DEBUG_PRINT_ENABLED">Yes</option>
       <option internalval="NO_DEBUG">No</option>
       <description>
           <![CDATA[
           This option determines if debug should be enabled.
           ]]>
       </description>
   </property>
</custom>