diff --git a/.cproject b/.cproject
index d7a53d96f74c7c93ae39efd111994490de23bd9d..848748a3008f1edc06a4541996d4bd788c6b3668 100644
--- a/.cproject
+++ b/.cproject
@@ -1,443 +1,55 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<?fileVersion 4.0.0?><cproject storage_type_id="org.eclipse.cdt.core.XmlProjectDescriptionStorage">
<storageModule moduleId="org.eclipse.cdt.core.settings">
- <cconfiguration id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460">
- <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460" moduleId="org.eclipse.cdt.core.settings" name="Debug">
+ <cconfiguration id="0.924773280">
+ <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="0.924773280" moduleId="org.eclipse.cdt.core.settings" name="Default">
<externalSettings/>
<extensions>
- <extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
<extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
+ <extension id="org.eclipse.cdt.core.VCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/>
<extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
</extensions>
</storageModule>
<storageModule moduleId="cdtBuildSystem" version="4.0.0">
- <configuration artifactName="${ProjName}" buildArtefactType="org.eclipse.cdt.build.core.buildArtefactType.exe" buildProperties="org.eclipse.cdt.build.core.buildArtefactType=org.eclipse.cdt.build.core.buildArtefactType.exe,org.eclipse.cdt.build.core.buildType=org.eclipse.cdt.build.core.buildType.debug" cleanCommand="${cross_rm} -rf" description="" id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460" name="Debug" parent="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug">
- <folderInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460." name="/" resourcePath="">
- <toolChain id="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.debug.632267187" name="Cross ARM GCC" superClass="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.debug">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.310209572" name="Optimization Level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level" useByScannerDiscovery="true" value="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.debug" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength.1430785683" name="Message length (-fmessage-length=0)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar.52542788" name="'char' is signed (-fsigned-char)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections.1802509380" name="Function sections (-ffunction-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections.1923755917" name="Data sections (-fdata-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level.117375644" name="Debug level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level" useByScannerDiscovery="true" value="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level.max" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format.48456120" name="Debug format" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format" useByScannerDiscovery="true"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family.1048856217" name="ARM family" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family" useByScannerDiscovery="false" value="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.mcpu.cortex-m4" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.1584787277" name="Float ABI" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi" useByScannerDiscovery="false" value="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.soft" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn.1113288401" name="Enable all common warnings (-Wall)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn.1245578200" name="Enable extra warnings (-Wextra)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding.1763381942" name="Assume freestanding environment (-ffreestanding)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.nomoveloopinvariants.850753088" name="Disable loop invariant move (-fno-move-loop-invariants)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.nomoveloopinvariants" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.toolchain.name.392140672" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.toolchain.name" useByScannerDiscovery="false" value="GNU Tools for ARM Embedded Processors" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.architecture.399134736" name="Architecture" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.architecture" useByScannerDiscovery="false" value="ilg.gnuarmeclipse.managedbuild.cross.option.architecture.arm" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.instructionset.1107167707" name="Instruction set" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.instructionset" useByScannerDiscovery="false" value="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.instructionset.thumb" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.prefix.1709039728" name="Prefix" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.prefix" useByScannerDiscovery="false" value="arm-none-eabi-" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.c.482867995" name="C compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.c" useByScannerDiscovery="false" value="gcc" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.cpp.1613602456" name="C++ compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.cpp" useByScannerDiscovery="false" value="g++" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.ar.722697057" name="Archiver" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.ar" useByScannerDiscovery="false" value="ar" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.objcopy.1343208640" name="Hex/Bin converter" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.objcopy" useByScannerDiscovery="false" value="objcopy" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.objdump.1536497409" name="Listing generator" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.objdump" useByScannerDiscovery="false" value="objdump" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.size.1441037148" name="Size command" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.size" useByScannerDiscovery="false" value="size" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.make.1701289971" name="Build command" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.make" useByScannerDiscovery="false" value="make" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.rm.79586984" name="Remove command" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.rm" useByScannerDiscovery="false" value="rm" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.createflash.339144728" name="Create flash image" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.createflash" useByScannerDiscovery="false" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.printsize.1341375826" name="Print size" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.printsize" useByScannerDiscovery="false" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.unit.433285157" name="FPU Type" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.unit" useByScannerDiscovery="false" value="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.unit.default" valueType="enumerated"/>
- <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform.1528213586" isAbstract="false" osList="all" superClass="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform"/>
- <builder buildPath="${workspace_loc:/minimal_cmsis}/Debug" id="ilg.gnuarmeclipse.managedbuild.cross.builder.1795971318" keepEnvironmentInBuildfile="false" managedBuildOn="true" name="Gnu Make Builder" superClass="ilg.gnuarmeclipse.managedbuild.cross.builder"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.2002629446" name="Cross ARM GNU Assembler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.usepreprocessor.745872844" name="Use preprocessor" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.usepreprocessor" useByScannerDiscovery="false" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.include.paths.409294084" name="Include paths (-I)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.include.paths" useByScannerDiscovery="false" valueType="includePath">
- <listOptionValue builtIn="false" value=""../include""/>
- <listOptionValue builtIn="false" value=""../system/include""/>
- <listOptionValue builtIn="false" value=""../system/include/cmsis""/>
- <listOptionValue builtIn="false" value=""../system/include/stm32f4-hal""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.defs.743363359" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.defs" useByScannerDiscovery="false" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="DEBUG"/>
- <listOptionValue builtIn="false" value="USE_FULL_ASSERT"/>
- <listOptionValue builtIn="false" value="TRACE"/>
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input.2095023712" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input"/>
+ <configuration buildProperties="" description="" id="0.924773280" name="Default" parent="org.eclipse.cdt.build.core.prefbase.cfg">
+ <folderInfo id="0.924773280." name="/" resourcePath="">
+ <toolChain id="org.eclipse.cdt.build.core.prefbase.toolchain.1322702665" name="No ToolChain" resourceTypeBasedDiscovery="false" superClass="org.eclipse.cdt.build.core.prefbase.toolchain">
+ <targetPlatform id="org.eclipse.cdt.build.core.prefbase.toolchain.1322702665.401823297" name=""/>
+ <builder id="org.eclipse.cdt.build.core.settings.default.builder.1549424783" keepEnvironmentInBuildfile="false" managedBuildOn="false" name="Gnu Make Builder" superClass="org.eclipse.cdt.build.core.settings.default.builder"/>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.libs.1667865142" name="holder for library settings" superClass="org.eclipse.cdt.build.core.settings.holder.libs"/>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.2002589908" name="Assembly" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1945728538" languageId="org.eclipse.cdt.core.assembly" languageName="Assembly" sourceContentType="org.eclipse.cdt.core.asmSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
</tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.include.paths.78757964" name="Include paths (-I)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.include.paths" useByScannerDiscovery="false" valueType="includePath">
- <listOptionValue builtIn="false" value=""../include""/>
- <listOptionValue builtIn="false" value=""../system/include""/>
- <listOptionValue builtIn="false" value=""../system/include/cmsis""/>
- <listOptionValue builtIn="false" value=""../system/include/stm32f4-hal""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs.209904136" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs" useByScannerDiscovery="false" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="DEBUG"/>
- <listOptionValue builtIn="false" value="USE_FULL_ASSERT"/>
- <listOptionValue builtIn="false" value="TRACE"/>
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.255266515" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.394462868" name="GNU C++" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.863654078" languageId="org.eclipse.cdt.core.g++" languageName="GNU C++" sourceContentType="org.eclipse.cdt.core.cxxSource,org.eclipse.cdt.core.cxxHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
</tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.353551360" name="Cross ARM C++ Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.include.paths.1973762058" name="Include paths (-I)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.include.paths" useByScannerDiscovery="false" valueType="includePath">
- <listOptionValue builtIn="false" value=""../include""/>
- <listOptionValue builtIn="false" value=""../system/include""/>
- <listOptionValue builtIn="false" value=""../system/include/cmsis""/>
- <listOptionValue builtIn="false" value=""../system/include/stm32f4-hal""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.noexceptions.851672274" name="Do not use exceptions (-fno-exceptions)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.noexceptions" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nortti.1391696728" name="Do not use RTTI (-fno-rtti)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nortti" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nousecxaatexit.1352492048" name="Do not use _cxa_atexit() (-fno-use-cxa-atexit)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nousecxaatexit" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nothreadsafestatics.1312292882" name="Do not use thread-safe statics (-fno-threadsafe-statics)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nothreadsafestatics" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.defs.1028424816" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.defs" useByScannerDiscovery="false" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="DEBUG"/>
- <listOptionValue builtIn="false" value="USE_FULL_ASSERT"/>
- <listOptionValue builtIn="false" value="TRACE"/>
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input.1840976927" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input"/>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.1079265781" name="GNU C" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.1231189048" languageId="org.eclipse.cdt.core.gcc" languageName="GNU C" sourceContentType="org.eclipse.cdt.core.cSource,org.eclipse.cdt.core.cHeader" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
</tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.1208033733" name="Cross ARM C Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.gcsections.905605649" name="Remove unused sections (-Xlinker --gc-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.gcsections" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.paths.939321834" name="Library search path (-L)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.paths" valueType="libPaths">
- <listOptionValue builtIn="false" value=""../ldscripts""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.scriptfile.586983318" name="Script files (-T)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.scriptfile" valueType="stringList">
- <listOptionValue builtIn="false" value="mem.ld"/>
- <listOptionValue builtIn="false" value="libs.ld"/>
- <listOptionValue builtIn="false" value="sections.ld"/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.nostart.2010937018" name="Do not use standard start files (-nostartfiles)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.nostart" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.usenewlibnano.1043256177" name="Use newlib-nano (--specs=nano.specs)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.usenewlibnano" value="true" valueType="boolean"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.input.486629578" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.input">
- <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
- <additionalInput kind="additionalinput" paths="$(LIBS)"/>
- </inputType>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.620507923" name="LLVM bytecode assembly" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.2032917564" languageId="org.eclipse.cdt.managedbuilder.llvm.ui.llvmAssembly" languageName="LLVM bytecode assembly" sourceContentType="org.eclipse.cdt.managedbuilder.llvm.ui.llvmAssemblySource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
</tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.727930681" name="Cross ARM C++ Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.gcsections.141978686" name="Remove unused sections (-Xlinker --gc-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.gcsections" useByScannerDiscovery="false" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.paths.266061055" name="Library search path (-L)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.paths" useByScannerDiscovery="false" valueType="libPaths">
- <listOptionValue builtIn="false" value=""../ldscripts""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.scriptfile.900343144" name="Script files (-T)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.scriptfile" useByScannerDiscovery="false" valueType="stringList">
- <listOptionValue builtIn="false" value="mem.ld"/>
- <listOptionValue builtIn="false" value="libs.ld"/>
- <listOptionValue builtIn="false" value="sections.ld"/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.nostart.580557635" name="Do not use standard start files (-nostartfiles)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.nostart" useByScannerDiscovery="false" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.usenewlibnano.182819692" name="Use newlib-nano (--specs=nano.specs)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.usenewlibnano" useByScannerDiscovery="false" value="true" valueType="boolean"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.input.364411111" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.input">
- <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
- <additionalInput kind="additionalinput" paths="$(LIBS)"/>
- </inputType>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver.502813828" name="Cross ARM GNU Archiver" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash.270166319" name="Cross ARM GNU Create Flash Image" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting.1969436511" name="Cross ARM GNU Create Listing" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.source.2146120913" name="Display source (--source|-S)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.source" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.allheaders.448412372" name="Display all headers (--all-headers|-x)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.allheaders" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.demangle.8732329" name="Demangle names (--demangle|-C)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.demangle" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.linenumbers.1109712592" name="Display line numbers (--line-numbers|-l)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.linenumbers" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.wide.79999268" name="Wide lines (--wide|-w)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.wide" value="true" valueType="boolean"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize.1065956219" name="Cross ARM GNU Print Size" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.printsize.format.1229653792" name="Size format" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.printsize.format" useByScannerDiscovery="false"/>
- </tool>
- </toolChain>
- </folderInfo>
- <folderInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460.system/src/stm32f4-hal" name="/" resourcePath="system/src/stm32f4-hal">
- <toolChain id="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.debug.1114749117" name="Cross ARM GCC" superClass="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.debug" unusedChildren="">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.310209572.555862254" name="Optimization Level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.310209572"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength.1430785683.778512871" name="Message length (-fmessage-length=0)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength.1430785683"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar.52542788.519169535" name="'char' is signed (-fsigned-char)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar.52542788"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections.1802509380.124567421" name="Function sections (-ffunction-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections.1802509380"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections.1923755917.704243745" name="Data sections (-fdata-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections.1923755917"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level.117375644.1742457063" name="Debug level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level.117375644"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format.48456120.1015028790" name="Debug format" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format.48456120"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family.1048856217.1081628357" name="ARM family" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family.1048856217"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.1584787277.414190317" name="Float ABI" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.1584787277"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn.1113288401.2133416837" name="Enable all common warnings (-Wall)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn.1113288401"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn.1245578200.1867868329" name="Enable extra warnings (-Wextra)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn.1245578200"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding.1763381942.1807739627" name="Assume freestanding environment (-ffreestanding)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding.1763381942"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.nomoveloopinvariants.850753088.1831440679" name="Disable loop invariant move (-fno-move-loop-invariants)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.nomoveloopinvariants.850753088"/>
- <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform" isAbstract="false" osList="all" superClass="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.868161666" name="Cross ARM GNU Assembler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.2002629446">
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input.618787881" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.703725974" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings.933468077" name="Other warning flags" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings" useByScannerDiscovery="true" value=" -Wno-bad-function-cast -Wno-conversion -Wno-sign-conversion -Wno-unused-parameter -Wno-sign-compare -Wno-missing-prototypes -Wno-missing-declarations" valueType="string"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.459360872" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.2144434493" name="Cross ARM C++ Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.353551360">
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input.74735927" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.1765829062" name="Cross ARM C Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.1208033733"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.1538168318" name="Cross ARM C++ Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.727930681"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver.2082441305" name="Cross ARM GNU Archiver" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver.502813828"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash.975834399" name="Cross ARM GNU Create Flash Image" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash.270166319"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting.1829812637" name="Cross ARM GNU Create Listing" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting.1969436511"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize.1133042506" name="Cross ARM GNU Print Size" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize.1065956219"/>
- </toolChain>
- </folderInfo>
- <fileInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460.system/src/newlib/_startup.c" name="_startup.c" rcbsApplicability="disable" resourcePath="system/src/newlib/_startup.c" toolsToInvoke="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248.1397859229">
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248.1397859229" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs.2058548194" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="DEBUG"/>
- <listOptionValue builtIn="false" value="USE_FULL_ASSERT"/>
- <listOptionValue builtIn="false" value="TRACE"/>
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- <listOptionValue builtIn="false" value="OS_INCLUDE_STARTUP_INIT_MULTIPLE_RAM_SECTIONS"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.1213200061" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
- </tool>
- </fileInfo>
- <fileInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.debug.845977460.src/stm32f4xx_hal_msp.c" name="stm32f4xx_hal_msp.c" rcbsApplicability="disable" resourcePath="src/stm32f4xx_hal_msp.c" toolsToInvoke="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248.1625754158">
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248.1625754158" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.252667248">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings.387879688" name="Other warning flags" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings" useByScannerDiscovery="true" value=" -Wno-missing-prototypes -Wno-missing-declarations" valueType="string"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.733396456" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
- </tool>
- </fileInfo>
- <sourceEntries>
- <entry excluding="ex9.h|ex7.h|ex5.h|ex3.h" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="src"/>
- <entry excluding="src/stm32f4-hal/stm32f4xx_ll_usb.c|src/stm32f4-hal/stm32f4xx_ll_sdmmc.c|src/stm32f4-hal/stm32f4xx_ll_fsmc.c|src/stm32f4-hal/stm32f4xx_ll_fmc.c|src/stm32f4-hal/stm32f4xx_hal_wwdg.c|src/stm32f4-hal/stm32f4xx_hal_usart.c|src/stm32f4-hal/stm32f4xx_hal_uart.c|src/stm32f4-hal/stm32f4xx_hal_timebase_tim_template.c|src/stm32f4-hal/stm32f4xx_hal_tim_ex.c|src/stm32f4-hal/stm32f4xx_hal_tim.c|src/stm32f4-hal/stm32f4xx_hal_sram.c|src/stm32f4-hal/stm32f4xx_hal_spi.c|src/stm32f4-hal/stm32f4xx_hal_spdifrx.c|src/stm32f4-hal/stm32f4xx_hal_smartcard.c|src/stm32f4-hal/stm32f4xx_hal_sdram.c|src/stm32f4-hal/stm32f4xx_hal_sd.c|src/stm32f4-hal/stm32f4xx_hal_sai_ex.c|src/stm32f4-hal/stm32f4xx_hal_sai.c|src/stm32f4-hal/stm32f4xx_hal_rtc_ex.c|src/stm32f4-hal/stm32f4xx_hal_rtc.c|src/stm32f4-hal/stm32f4xx_hal_rng.c|src/stm32f4-hal/stm32f4xx_hal_rcc_ex.c|src/stm32f4-hal/stm32f4xx_hal_qspi.c|src/stm32f4-hal/stm32f4xx_hal_pwr_ex.c|src/stm32f4-hal/stm32f4xx_hal_pcd_ex.c|src/stm32f4-hal/stm32f4xx_hal_pcd.c|src/stm32f4-hal/stm32f4xx_hal_pccard.c|src/stm32f4-hal/stm32f4xx_hal_nor.c|src/stm32f4-hal/stm32f4xx_hal_nand.c|src/stm32f4-hal/stm32f4xx_hal_ltdc_ex.c|src/stm32f4-hal/stm32f4xx_hal_ltdc.c|src/stm32f4-hal/stm32f4xx_hal_lptim.c|src/stm32f4-hal/stm32f4xx_hal_irda.c|src/stm32f4-hal/stm32f4xx_hal_i2s_ex.c|src/stm32f4-hal/stm32f4xx_hal_i2s.c|src/stm32f4-hal/stm32f4xx_hal_i2c_ex.c|src/stm32f4-hal/stm32f4xx_hal_i2c.c|src/stm32f4-hal/stm32f4xx_hal_hcd.c|src/stm32f4-hal/stm32f4xx_hal_hash_ex.c|src/stm32f4-hal/stm32f4xx_hal_hash.c|src/stm32f4-hal/stm32f4xx_hal_fmpi2c_ex.c|src/stm32f4-hal/stm32f4xx_hal_fmpi2c.c|src/stm32f4-hal/stm32f4xx_hal_flash_ramfunc.c|src/stm32f4-hal/stm32f4xx_hal_flash_ex.c|src/stm32f4-hal/stm32f4xx_hal_eth.c|src/stm32f4-hal/stm32f4xx_hal_dsi.c|src/stm32f4-hal/stm32f4xx_hal_dma_ex.c|src/stm32f4-hal/stm32f4xx_hal_dma2d.c|src/stm32f4-hal/stm32f4xx_hal_dma.c|src/stm32f4-hal/stm32f4xx_hal_dcmi_ex.c|src/stm32f4-hal/stm32f4xx_hal_dcmi.c|src/stm32f4-hal/stm32f4xx_hal_dac_ex.c|src/stm32f4-hal/stm32f4xx_hal_dac.c|src/stm32f4-hal/stm32f4xx_hal_cryp_ex.c|src/stm32f4-hal/stm32f4xx_hal_cryp.c|src/stm32f4-hal/stm32f4xx_hal_crc.c|src/stm32f4-hal/stm32f4xx_hal_cec.c|src/stm32f4-hal/stm32f4xx_hal_can.c|src/stm32f4-hal/stm32f4xx_hal_adc_ex.c|src/stm32f4-hal/stm32f4xx_hal_adc.c|src/stm32f4-hal/stm32f4xx_hal_msp_template.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="system"/>
- </sourceEntries>
- </configuration>
- </storageModule>
- <storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
- <storageModule moduleId="ilg.gnuarmeclipse.managedbuild.packs">
- <option id="cmsis.device.name" value="STM32F401RE"/>
- <option id="cmsis.subfamily.name" value="STM32F401"/>
- <option id="cmsis.family.name" value="STM32F4 Series"/>
- <option id="cmsis.device.vendor.name" value="STMicroelectronics"/>
- <option id="cmsis.device.vendor.id" value="13"/>
- <option id="cmsis.device.pack.vendor" value="Keil"/>
- <option id="cmsis.device.pack.name" value="STM32F4xx_DFP"/>
- <option id="cmsis.device.pack.version" value="2.11.0"/>
- <option id="cmsis.core.name" value="Cortex-M4"/>
- <option id="cmsis.compiler.define" value="STM32F401xE"/>
- <memory section="IRAM1" size="0x18000" start="0x20000000" startup="0"/>
- <memory section="IROM1" size="0x80000" start="0x08000000" startup="1"/>
- </storageModule>
- </cconfiguration>
- <cconfiguration id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107">
- <storageModule buildSystemId="org.eclipse.cdt.managedbuilder.core.configurationDataProvider" id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107" moduleId="org.eclipse.cdt.core.settings" name="Release">
- <externalSettings/>
- <extensions>
- <extension id="org.eclipse.cdt.core.ELF" point="org.eclipse.cdt.core.BinaryParser"/>
- <extension id="org.eclipse.cdt.core.GASErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
- <extension id="org.eclipse.cdt.core.GmakeErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
- <extension id="org.eclipse.cdt.core.GLDErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
- <extension id="org.eclipse.cdt.core.CWDLocator" point="org.eclipse.cdt.core.ErrorParser"/>
- <extension id="org.eclipse.cdt.core.GCCErrorParser" point="org.eclipse.cdt.core.ErrorParser"/>
- </extensions>
- </storageModule>
- <storageModule moduleId="cdtBuildSystem" version="4.0.0">
- <configuration artifactName="${ProjName}" buildArtefactType="org.eclipse.cdt.build.core.buildArtefactType.exe" buildProperties="org.eclipse.cdt.build.core.buildArtefactType=org.eclipse.cdt.build.core.buildArtefactType.exe,org.eclipse.cdt.build.core.buildType=org.eclipse.cdt.build.core.buildType.release" cleanCommand="${cross_rm} -rf" description="" id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107" name="Release" parent="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release">
- <folderInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107." name="/" resourcePath="">
- <toolChain id="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.release.360322926" name="Cross ARM GCC" superClass="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.release">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.1100594522" name="Optimization Level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level" value="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.size" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength.1132355586" name="Message length (-fmessage-length=0)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar.393003892" name="'char' is signed (-fsigned-char)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections.989963857" name="Function sections (-ffunction-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections.1190409366" name="Data sections (-fdata-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level.1908015118" name="Debug level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format.2101261620" name="Debug format" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family.1553315725" name="ARM family" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family" value="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.mcpu.cortex-m4" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.1371396336" name="Float ABI" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi" value="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.soft" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn.358177859" name="Enable all common warnings (-Wall)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn.1874701561" name="Enable extra warnings (-Wextra)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding.1208999523" name="Assume freestanding environment (-ffreestanding)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.toolchain.name.182051781" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.toolchain.name" value="GNU Tools for ARM Embedded Processors" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.architecture.700503327" name="Architecture" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.architecture" value="ilg.gnuarmeclipse.managedbuild.cross.option.architecture.arm" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.instructionset.1338071913" name="Instruction set" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.instructionset" value="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.instructionset.thumb" valueType="enumerated"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.prefix.814168857" name="Prefix" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.prefix" value="arm-none-eabi-" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.c.494547455" name="C compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.c" value="gcc" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.cpp.354487357" name="C++ compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.cpp" value="g++" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.ar.1872293447" name="Archiver" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.ar" value="ar" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.objcopy.1596955888" name="Hex/Bin converter" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.objcopy" value="objcopy" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.objdump.964087775" name="Listing generator" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.objdump" value="objdump" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.size.1552913492" name="Size command" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.size" value="size" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.make.612654783" name="Build command" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.make" value="make" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.command.rm.1369677698" name="Remove command" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.command.rm" value="rm" valueType="string"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.createflash.1568350452" name="Create flash image" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.createflash" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.printsize.298385537" name="Print size" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.addtools.printsize" value="true" valueType="boolean"/>
- <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform.2054704246" isAbstract="false" osList="all" superClass="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform"/>
- <builder buildPath="${workspace_loc:/minimal_cmsis}/Release" id="ilg.gnuarmeclipse.managedbuild.cross.builder.1098129034" keepEnvironmentInBuildfile="false" managedBuildOn="true" name="Gnu Make Builder" superClass="ilg.gnuarmeclipse.managedbuild.cross.builder"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.1722475296" name="Cross ARM GNU Assembler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.usepreprocessor.539581386" name="Use preprocessor" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.usepreprocessor" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.include.paths.458677953" name="Include paths (-I)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.include.paths" valueType="includePath">
- <listOptionValue builtIn="false" value=""../include""/>
- <listOptionValue builtIn="false" value=""../system/include""/>
- <listOptionValue builtIn="false" value=""../system/include/cmsis""/>
- <listOptionValue builtIn="false" value=""../system/include/stm32f4-hal""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.defs.491136751" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.assembler.defs" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input.336101746" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.include.paths.2127803088" name="Include paths (-I)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.include.paths" useByScannerDiscovery="false" valueType="includePath">
- <listOptionValue builtIn="false" value=""../include""/>
- <listOptionValue builtIn="false" value=""../system/include""/>
- <listOptionValue builtIn="false" value=""../system/include/cmsis""/>
- <listOptionValue builtIn="false" value=""../system/include/stm32f4-hal""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs.1847903243" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs" useByScannerDiscovery="false" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.493707445" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.454195264" name="Cross ARM C++ Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.include.paths.1174782911" name="Include paths (-I)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.include.paths" useByScannerDiscovery="false" valueType="includePath">
- <listOptionValue builtIn="false" value=""../include""/>
- <listOptionValue builtIn="false" value=""../system/include""/>
- <listOptionValue builtIn="false" value=""../system/include/cmsis""/>
- <listOptionValue builtIn="false" value=""../system/include/stm32f4-hal""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.noexceptions.1523170637" name="Do not use exceptions (-fno-exceptions)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.noexceptions" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nortti.565941426" name="Do not use RTTI (-fno-rtti)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nortti" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nousecxaatexit.769641654" name="Do not use _cxa_atexit() (-fno-use-cxa-atexit)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nousecxaatexit" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nothreadsafestatics.1014495464" name="Do not use thread-safe statics (-fno-threadsafe-statics)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.nothreadsafestatics" useByScannerDiscovery="true" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.defs.129254809" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.compiler.defs" useByScannerDiscovery="false" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input.283486569" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.836652931" name="Cross ARM C Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.gcsections.453144254" name="Remove unused sections (-Xlinker --gc-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.gcsections" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.paths.1307869658" name="Library search path (-L)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.paths" valueType="libPaths">
- <listOptionValue builtIn="false" value=""../ldscripts""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.scriptfile.1905562302" name="Script files (-T)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.scriptfile" valueType="stringList">
- <listOptionValue builtIn="false" value="mem.ld"/>
- <listOptionValue builtIn="false" value="libs.ld"/>
- <listOptionValue builtIn="false" value="sections.ld"/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.nostart.559542691" name="Do not use standard start files (-nostartfiles)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.nostart" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.usenewlibnano.1375902049" name="Use newlib-nano (--specs=nano.specs)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.linker.usenewlibnano" value="true" valueType="boolean"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.input.37332824" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.input">
- <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
- <additionalInput kind="additionalinput" paths="$(LIBS)"/>
- </inputType>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.1509231663" name="Cross ARM C++ Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.gcsections.1153635277" name="Remove unused sections (-Xlinker --gc-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.gcsections" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.paths.974204663" name="Library search path (-L)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.paths" valueType="libPaths">
- <listOptionValue builtIn="false" value=""../ldscripts""/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.scriptfile.1321496715" name="Script files (-T)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.scriptfile" valueType="stringList">
- <listOptionValue builtIn="false" value="mem.ld"/>
- <listOptionValue builtIn="false" value="libs.ld"/>
- <listOptionValue builtIn="false" value="sections.ld"/>
- </option>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.nostart.247039289" name="Do not use standard start files (-nostartfiles)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.nostart" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.usenewlibnano.1710529162" name="Use newlib-nano (--specs=nano.specs)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.cpp.linker.usenewlibnano" value="true" valueType="boolean"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.input.1815334507" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.input">
- <additionalInput kind="additionalinputdependency" paths="$(USER_OBJS)"/>
- <additionalInput kind="additionalinput" paths="$(LIBS)"/>
- </inputType>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver.1227829805" name="Cross ARM GNU Archiver" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash.1768012977" name="Cross ARM GNU Create Flash Image" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting.2005471815" name="Cross ARM GNU Create Listing" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.source.191158287" name="Display source (--source|-S)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.source" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.allheaders.1423679214" name="Display all headers (--all-headers|-x)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.allheaders" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.demangle.395000726" name="Demangle names (--demangle|-C)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.demangle" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.linenumbers.2075666715" name="Display line numbers (--line-numbers|-l)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.linenumbers" value="true" valueType="boolean"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.wide.676255645" name="Wide lines (--wide|-w)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.createlisting.wide" value="true" valueType="boolean"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize.1863457042" name="Cross ARM GNU Print Size" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.printsize.format.279536894" name="Size format" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.printsize.format"/>
+ <tool id="org.eclipse.cdt.build.core.settings.holder.1041733737" name="UPC" superClass="org.eclipse.cdt.build.core.settings.holder">
+ <inputType id="org.eclipse.cdt.build.core.settings.holder.inType.669586741" languageId="org.eclipse.cdt.core.parser.upc.upc" languageName="UPC" sourceContentType="org.eclipse.cdt.core.parser.upc.upcSource" superClass="org.eclipse.cdt.build.core.settings.holder.inType"/>
</tool>
</toolChain>
</folderInfo>
- <folderInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107.system/src/stm32f4-hal" name="/" resourcePath="system/src/stm32f4-hal">
- <toolChain id="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.release.469953724" name="Cross ARM GCC" superClass="ilg.gnuarmeclipse.managedbuild.cross.toolchain.elf.release" unusedChildren="">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.1100594522.1662978205" name="Optimization Level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.level.1100594522"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength.1132355586.1147529174" name="Message length (-fmessage-length=0)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.messagelength.1132355586"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar.393003892.2005594204" name="'char' is signed (-fsigned-char)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.signedchar.393003892"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections.989963857.1208231570" name="Function sections (-ffunction-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.functionsections.989963857"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections.1190409366.331260166" name="Data sections (-fdata-sections)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.datasections.1190409366"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level.1908015118.1591542536" name="Debug level" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.level.1908015118"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format.2101261620.45230131" name="Debug format" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.debugging.format.2101261620"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family.1553315725.713927639" name="ARM family" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.family.1553315725"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.1371396336.686916939" name="Float ABI" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.arm.target.fpu.abi.1371396336"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn.358177859.1913877705" name="Enable all common warnings (-Wall)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.allwarn.358177859"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn.1874701561.675745692" name="Enable extra warnings (-Wextra)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.warnings.extrawarn.1874701561"/>
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding.1208999523.1556252048" name="Assume freestanding environment (-ffreestanding)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.optimization.freestanding.1208999523"/>
- <targetPlatform archList="all" binaryParser="org.eclipse.cdt.core.ELF" id="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform" isAbstract="false" osList="all" superClass="ilg.gnuarmeclipse.managedbuild.cross.targetPlatform"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.807375288" name="Cross ARM GNU Assembler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.1722475296">
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input.2007109601" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.assembler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.368781823" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings.1248956075" name="Other warning flags" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings" useByScannerDiscovery="true" value=" -Wno-bad-function-cast -Wno-conversion -Wno-sign-conversion -Wno-unused-parameter -Wno-sign-compare -Wno-missing-prototypes -Wno-missing-declarations" valueType="string"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.1134392223" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.1012667394" name="Cross ARM C++ Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.454195264">
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input.1847934208" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.compiler.input"/>
- </tool>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.537828143" name="Cross ARM C Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.linker.836652931"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.1723697457" name="Cross ARM C++ Linker" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.cpp.linker.1509231663"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver.1383530315" name="Cross ARM GNU Archiver" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.archiver.1227829805"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash.195060174" name="Cross ARM GNU Create Flash Image" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createflash.1768012977"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting.1246335731" name="Cross ARM GNU Create Listing" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.createlisting.2005471815"/>
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize.167502392" name="Cross ARM GNU Print Size" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.printsize.1863457042"/>
- </toolChain>
- </folderInfo>
- <fileInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107.system/src/newlib/_startup.c" name="_startup.c" rcbsApplicability="disable" resourcePath="system/src/newlib/_startup.c" toolsToInvoke="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892.1323973822">
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892.1323973822" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs.153806936" name="Defined symbols (-D)" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.defs" valueType="definedSymbols">
- <listOptionValue builtIn="false" value="OS_USE_TRACE_ITM"/>
- <listOptionValue builtIn="false" value="STM32F401xE"/>
- <listOptionValue builtIn="false" value="USE_HAL_DRIVER"/>
- <listOptionValue builtIn="false" value="HSE_VALUE=8000000"/>
- <listOptionValue builtIn="false" value="OS_INCLUDE_STARTUP_INIT_MULTIPLE_RAM_SECTIONS"/>
- </option>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.1044804163" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
- </tool>
- </fileInfo>
- <fileInfo id="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107.src/stm32f4xx_hal_msp.c" name="stm32f4xx_hal_msp.c" rcbsApplicability="disable" resourcePath="src/stm32f4xx_hal_msp.c" toolsToInvoke="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892.1057290184">
- <tool id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892.1057290184" name="Cross ARM C Compiler" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892">
- <option id="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings.1970274380" name="Other warning flags" superClass="ilg.gnuarmeclipse.managedbuild.cross.option.c.compiler.otherwarnings" useByScannerDiscovery="true" value=" -Wno-missing-prototypes -Wno-missing-declarations" valueType="string"/>
- <inputType id="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.770961896" superClass="ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input"/>
- </tool>
- </fileInfo>
- <sourceEntries>
- <entry flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="src"/>
- <entry excluding="src/stm32f4-hal/stm32f4xx_ll_usb.c|src/stm32f4-hal/stm32f4xx_ll_sdmmc.c|src/stm32f4-hal/stm32f4xx_ll_fsmc.c|src/stm32f4-hal/stm32f4xx_ll_fmc.c|src/stm32f4-hal/stm32f4xx_hal_wwdg.c|src/stm32f4-hal/stm32f4xx_hal_usart.c|src/stm32f4-hal/stm32f4xx_hal_uart.c|src/stm32f4-hal/stm32f4xx_hal_timebase_tim_template.c|src/stm32f4-hal/stm32f4xx_hal_tim_ex.c|src/stm32f4-hal/stm32f4xx_hal_tim.c|src/stm32f4-hal/stm32f4xx_hal_sram.c|src/stm32f4-hal/stm32f4xx_hal_spi.c|src/stm32f4-hal/stm32f4xx_hal_spdifrx.c|src/stm32f4-hal/stm32f4xx_hal_smartcard.c|src/stm32f4-hal/stm32f4xx_hal_sdram.c|src/stm32f4-hal/stm32f4xx_hal_sd.c|src/stm32f4-hal/stm32f4xx_hal_sai_ex.c|src/stm32f4-hal/stm32f4xx_hal_sai.c|src/stm32f4-hal/stm32f4xx_hal_rtc_ex.c|src/stm32f4-hal/stm32f4xx_hal_rtc.c|src/stm32f4-hal/stm32f4xx_hal_rng.c|src/stm32f4-hal/stm32f4xx_hal_rcc_ex.c|src/stm32f4-hal/stm32f4xx_hal_qspi.c|src/stm32f4-hal/stm32f4xx_hal_pwr_ex.c|src/stm32f4-hal/stm32f4xx_hal_pcd_ex.c|src/stm32f4-hal/stm32f4xx_hal_pcd.c|src/stm32f4-hal/stm32f4xx_hal_pccard.c|src/stm32f4-hal/stm32f4xx_hal_nor.c|src/stm32f4-hal/stm32f4xx_hal_nand.c|src/stm32f4-hal/stm32f4xx_hal_ltdc_ex.c|src/stm32f4-hal/stm32f4xx_hal_ltdc.c|src/stm32f4-hal/stm32f4xx_hal_lptim.c|src/stm32f4-hal/stm32f4xx_hal_irda.c|src/stm32f4-hal/stm32f4xx_hal_i2s_ex.c|src/stm32f4-hal/stm32f4xx_hal_i2s.c|src/stm32f4-hal/stm32f4xx_hal_i2c_ex.c|src/stm32f4-hal/stm32f4xx_hal_i2c.c|src/stm32f4-hal/stm32f4xx_hal_hcd.c|src/stm32f4-hal/stm32f4xx_hal_hash_ex.c|src/stm32f4-hal/stm32f4xx_hal_hash.c|src/stm32f4-hal/stm32f4xx_hal_fmpi2c_ex.c|src/stm32f4-hal/stm32f4xx_hal_fmpi2c.c|src/stm32f4-hal/stm32f4xx_hal_flash_ramfunc.c|src/stm32f4-hal/stm32f4xx_hal_flash_ex.c|src/stm32f4-hal/stm32f4xx_hal_eth.c|src/stm32f4-hal/stm32f4xx_hal_dsi.c|src/stm32f4-hal/stm32f4xx_hal_dma_ex.c|src/stm32f4-hal/stm32f4xx_hal_dma2d.c|src/stm32f4-hal/stm32f4xx_hal_dma.c|src/stm32f4-hal/stm32f4xx_hal_dcmi_ex.c|src/stm32f4-hal/stm32f4xx_hal_dcmi.c|src/stm32f4-hal/stm32f4xx_hal_dac_ex.c|src/stm32f4-hal/stm32f4xx_hal_dac.c|src/stm32f4-hal/stm32f4xx_hal_cryp_ex.c|src/stm32f4-hal/stm32f4xx_hal_cryp.c|src/stm32f4-hal/stm32f4xx_hal_crc.c|src/stm32f4-hal/stm32f4xx_hal_cec.c|src/stm32f4-hal/stm32f4xx_hal_can.c|src/stm32f4-hal/stm32f4xx_hal_adc_ex.c|src/stm32f4-hal/stm32f4xx_hal_adc.c|src/stm32f4-hal/stm32f4xx_hal_msp_template.c" flags="VALUE_WORKSPACE_PATH|RESOLVED" kind="sourcePath" name="system"/>
- </sourceEntries>
</configuration>
</storageModule>
<storageModule moduleId="org.eclipse.cdt.core.externalSettings"/>
</cconfiguration>
</storageModule>
<storageModule moduleId="cdtBuildSystem" version="4.0.0">
- <project id="minimal_cmsis.ilg.gnuarmeclipse.managedbuild.cross.target.elf.613540420" name="Executable" projectType="ilg.gnuarmeclipse.managedbuild.cross.target.elf"/>
+ <project id="d7020e_srp.null.1771712114" name="d7020e_srp"/>
</storageModule>
<storageModule moduleId="scannerConfiguration">
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
+ <scannerConfigBuildInfo instanceId="0.924773280">
+ <autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
+ </scannerConfigBuildInfo>
<scannerConfigBuildInfo instanceId="ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107;ilg.gnuarmeclipse.managedbuild.cross.config.elf.release.2004998107.;ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.467444892;ilg.gnuarmeclipse.managedbuild.cross.tool.c.compiler.input.493707445">
<autodiscovery enabled="true" problemReportingEnabled="true" selectedProfileId=""/>
</scannerConfigBuildInfo>
@@ -446,6 +58,4 @@
</scannerConfigBuildInfo>
</storageModule>
<storageModule moduleId="org.eclipse.cdt.core.LanguageSettingsProviders"/>
- <storageModule moduleId="refreshScope"/>
- <storageModule moduleId="org.eclipse.cdt.make.core.buildtargets"/>
</cproject>
diff --git a/.project b/.project
index b672727674624c89c2720f5f0e9da7431b40d589..26e04342b57af84276843714b09d2b40469ffc46 100644
--- a/.project
+++ b/.project
@@ -5,6 +5,11 @@
<projects>
</projects>
<buildSpec>
+ <buildCommand>
+ <name>org.python.pydev.PyDevBuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
<buildCommand>
<name>org.eclipse.cdt.managedbuilder.core.genmakebuilder</name>
<triggers>clean,full,incremental,</triggers>
@@ -23,5 +28,6 @@
<nature>org.eclipse.cdt.managedbuilder.core.managedBuildNature</nature>
<nature>org.eclipse.cdt.managedbuilder.core.ScannerConfigNature</nature>
<nature>org.eclipse.cdt.core.ccnature</nature>
+ <nature>org.python.pydev.pythonNature</nature>
</natures>
</projectDescription>
diff --git a/.settings/language.settings.xml b/.settings/language.settings.xml
index 7a00851581182952308bb28878d6f42a08e515ce..adfaa24c131090848e93c6758fd3b1f3981d3a1b 100644
--- a/.settings/language.settings.xml
+++ b/.settings/language.settings.xml
@@ -5,7 +5,7 @@
<provider copy-of="extension" id="org.eclipse.cdt.ui.UserLanguageSettingsProvider"/>
<provider-reference id="org.eclipse.cdt.core.ReferencedProjectsLanguageSettingsProvider" ref="shared-provider"/>
<provider-reference id="org.eclipse.cdt.managedbuilder.core.MBSLanguageSettingsProvider" ref="shared-provider"/>
- <provider class="org.eclipse.cdt.managedbuilder.language.settings.providers.GCCBuiltinSpecsDetector" console="false" env-hash="289962256700414063" id="ilg.gnuarmeclipse.managedbuild.cross.GCCBuiltinSpecsDetector" keep-relative-paths="false" name="CDT GCC Built-in Compiler Settings Cross ARM" parameter="${COMMAND} ${FLAGS} ${cross_toolchain_flags} -E -P -v -dD "${INPUTS}"" prefer-non-shared="true">
+ <provider class="org.eclipse.cdt.managedbuilder.language.settings.providers.GCCBuiltinSpecsDetector" console="false" env-hash="-612967183689510445" id="ilg.gnuarmeclipse.managedbuild.cross.GCCBuiltinSpecsDetector" keep-relative-paths="false" name="CDT GCC Built-in Compiler Settings Cross ARM" parameter="${COMMAND} ${FLAGS} ${cross_toolchain_flags} -E -P -v -dD "${INPUTS}"" prefer-non-shared="true">
<language-scope id="org.eclipse.cdt.core.gcc"/>
<language-scope id="org.eclipse.cdt.core.g++"/>
</provider>
@@ -16,7 +16,7 @@
<provider copy-of="extension" id="org.eclipse.cdt.ui.UserLanguageSettingsProvider"/>
<provider-reference id="org.eclipse.cdt.core.ReferencedProjectsLanguageSettingsProvider" ref="shared-provider"/>
<provider-reference id="org.eclipse.cdt.managedbuilder.core.MBSLanguageSettingsProvider" ref="shared-provider"/>
- <provider class="org.eclipse.cdt.managedbuilder.language.settings.providers.GCCBuiltinSpecsDetector" console="false" env-hash="218374444141246917" id="ilg.gnuarmeclipse.managedbuild.cross.GCCBuiltinSpecsDetector" keep-relative-paths="false" name="CDT GCC Built-in Compiler Settings Cross ARM" parameter="${COMMAND} ${FLAGS} ${cross_toolchain_flags} -E -P -v -dD "${INPUTS}"" prefer-non-shared="true">
+ <provider class="org.eclipse.cdt.managedbuilder.language.settings.providers.GCCBuiltinSpecsDetector" console="false" env-hash="-599883740911553859" id="ilg.gnuarmeclipse.managedbuild.cross.GCCBuiltinSpecsDetector" keep-relative-paths="false" name="CDT GCC Built-in Compiler Settings Cross ARM" parameter="${COMMAND} ${FLAGS} ${cross_toolchain_flags} -E -P -v -dD "${INPUTS}"" prefer-non-shared="true">
<language-scope id="org.eclipse.cdt.core.gcc"/>
<language-scope id="org.eclipse.cdt.core.g++"/>
</provider>
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
new file mode 100644
index 0000000000000000000000000000000000000000..3628dc201c533dfa27eea91bbe84275c60bdcba4
--- /dev/null
+++ b/.settings/org.eclipse.core.resources.prefs
@@ -0,0 +1,2 @@
+eclipse.preferences.version=1
+encoding//include/SRP_wcet.h=UTF-8
diff --git a/Makefile b/Makefile
index f44d16248f97e54c63686fb8d2d901bfdba483db..6d5d32b8ca03afb641164ae5072415b959e39922 100644
--- a/Makefile
+++ b/Makefile
@@ -46,9 +46,11 @@ OOCDFLAGS = -f interface/stlink-v2-1.cfg -f stm32f4x.cfg
# STM32F401
ifeq "$(MAKECMDGOALS)" "rel"
-DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DTRACE -DOS_USE_TRACE_ITM
+DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DTRACE -DOS_USE_TRACE_ITM
+else ifeq "$(MAKECMDGOALS)" "wcet"
+DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DTRACE -DOS_USE_TRACE_ITM -DKLEE_WCET
else
-DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DKLEE
+DEFS = -DSTM32F40XX -DHSE_VALUE=8000000 -DKLEE
endif
# Definitions
@@ -157,9 +159,14 @@ all: buildrepo $(EXECUTABLE)
rel: buildrepo $(EXECUTABLE)
+wcet: buildrepo $(EXECUTABLE)
+
# Link native code into final executable
#$(EXECUTABLE): $(EXECOBJ) $(OBJASM)
ifeq "$(MAKECMDGOALS)" "rel"
+$(EXECUTABLE): $(EXECOBJ) $(OBJSTART)
+ $(CC-native) $(INCLUDES) $(MCFLAGS) $(LDFLAGS) $^ -o $@
+else ifeq "$(MAKECMDGOALS)" "wcet"
$(EXECUTABLE): $(EXECOBJ) $(OBJSTART)
$(CC-native) $(INCLUDES) $(MCFLAGS) $(LDFLAGS) $^ -o $@
else
@@ -218,6 +225,9 @@ debug: $(EXECUTABLE)
klee: buildrepo $(EXECUTABLE)
klee -emit-all-errors $(IROUT)
+run: buildrepo $(EXECUTABLE)
+ arm-none-eabi-gdb -q -x klee_stm_gdb.py $(EXECUTABLE)
+
define make-repo
for dir in $(SRCDIRS); \
do \
diff --git a/include/SRP_dummy.h b/include/SRP_klee.h
similarity index 95%
rename from include/SRP_dummy.h
rename to include/SRP_klee.h
index e187eca30b6fbc4414fa9f3677e9acd11c881801..be81714db90b553e7efc0be4ef52293de7c72977 100644
--- a/include/SRP_dummy.h
+++ b/include/SRP_klee.h
@@ -18,6 +18,7 @@
#define BARRIER_LOCK { ; }
#define BARRIER_UNLOCK { ; }
#define JOB_REQUEST(J) { TASK(J); }
+//#define SYNC(J) { IRQh(J) }
#define LOCK(R) { ; }
diff --git a/include/SRP_wcet.h b/include/SRP_wcet.h
new file mode 100644
index 0000000000000000000000000000000000000000..b8c1182621e48ff87e21a7c30d1f1d09e79b629a
--- /dev/null
+++ b/include/SRP_wcet.h
@@ -0,0 +1,79 @@
+/*
+ * RTFM_wcet.h
+ *
+ * Henrik Tder
+ * Per Lindgren
+ *
+ */
+
+#include <stm32f401xe.h>
+#include "dwt.h"
+#include <stdint.h>
+
+
+typedef enum
+{
+ r1,
+ r2,
+ j1,
+ j2,
+ j3
+} elem;
+
+typedef enum
+{
+ NOACTION,
+ /* Lock */
+ L,
+ /* Release */
+ R,
+ /* Start */
+ S,
+ /* End */
+ E
+} action;
+
+typedef struct locks
+{
+ /* The DWT counter value */
+ uint32_t time;
+ /* Which element has been locked */
+ elem elem;
+ /* If locked or released */
+ action action;
+
+} locks;
+
+uint32_t event_count = 0;
+
+#define MAX_NUM_LOCKS 10
+
+/* Create array containing structs of type locks */
+locks eventlist[MAX_NUM_LOCKS];
+//#define TRACE_EVENT(event, el)({eventlist[event_count].time = DWT->CYCCNT; eventlist[event_count].action = event; eventlist[event_count].elem = el; event_count+=1;})
+#define TRACE_EVENT(event, el)({})
+
+
+// #define Ceiling(R) (R##_Ceiling)
+// #define Code(J) (J##_Code)
+// #define IRQn(J) (J##_IRQn)
+// #define H(X) ((1 << __NVIC_PRIO_BITS)-X)
+#define IRQh(J) (J##_IRQh)
+
+// #define BARRIER_LOCK { }
+// #define BARRIER_UNLOCK { }
+#define JOB_REQUEST(J) { }
+
+#define LOCK(R) TRACE_EVENT(L, #R);
+#define UNLOCK(R) TRACE_EVENT(R, #R);
+
+// #define SETPRIO(J) { }
+// #define ENABLE(J) { }
+
+#define TASK(J) void IRQh(J) ()
+
+#define BREAKPOINT { asm volatile("" ::: "memory"); }
+
+void finish_execution(void) {}
+void terminate_execution(void) {}
+
diff --git a/src/main.c b/src/main.c
index dc474e9750a3c8348c1003ac0cfdf34670253088..8c06bb9c4bb4620f88269350044cbe9d1789c4db 100644
--- a/src/main.c
+++ b/src/main.c
@@ -1,10 +1,13 @@
-#ifndef KLEE
+//#define KLEE
+#define JOB 1
+
+#ifdef KLEE
+#include "SRP_klee.h"
+#elif KLEE_WCET
+#include "SRP_wcet.h"
+#else
#include "main.h"
#define enable_itm
-#else
-
-#include "SRP_dummy.h"
-
#endif
@@ -26,37 +29,25 @@
#define r1_Ceiling 2
#define r2_Ceiling 1
+static int state;
-int main() {
-#ifdef enable_itm
- trace_printf("\nInit\n");
-#endif
-
- SETPRIO(j1); // Set HW priorities
- SETPRIO(j2);
- SETPRIO(j3);
- ENABLE(j1); // Enable HW sources
- ENABLE(j2);
- ENABLE(j3);
-
- JOB_REQUEST(j1); // comment out in assignment c
- //JOB_REQUEST(j3); // use in assignment c
-
- BREAKPOINT;
- while (1) ;
- return 0;
+void work(int i) {
+ volatile int k =0;
+ for (int j =0; j < 100 * i; j++)
+ k++;
}
TASK(j1) {
-#ifdef enable_itm
- trace_printf("j1_enter\n");
-#endif
LOCK(r2);
+
JOB_REQUEST(j2); // job execution request for j2
-#ifdef enable_itm
- trace_printf("j1 after job request j2\n");
-#endif
- BREAKPOINT;
+
+ if (state > 0)
+ work(10);
+ else
+ work(5);
+
+ /*
LOCK(r1);
#ifdef enable_itm
trace_printf("j1_r1_locked, before job request j2\n");
@@ -66,10 +57,8 @@ TASK(j1) {
trace_printf("j1_r1_locked, after job request j2\n");
#endif
UNLOCK(r1);
+ */
UNLOCK(r2);
-#ifdef enable_itm
- trace_printf("j1_exit\n");
-#endif
}
TASK(j2) {
@@ -86,6 +75,47 @@ TASK(j2) {
#endif
}
+int main() {
+#ifdef enable_itm
+ trace_printf("\nInit\n");
+#endif
+
+#ifndef KLEE
+
+ #ifndef KLEE_WCET
+ SETPRIO(j1); // Set HW priorities
+ SETPRIO(j2);
+ SETPRIO(j3);
+ ENABLE(j1); // Enable HW sources
+ ENABLE(j2);
+ ENABLE(j3);
+
+ JOB_REQUEST(j1); // comment out in assignment c
+ //JOB_REQUEST(j3); // use in assignment c
+
+ BREAKPOINT;
+ while (1) ;
+ return 0;
+ #else
+ dwt_enable();
+ DWT->CYCCNT = 0;
+
+ event_count = 0;
+ TRACE_EVENT(S, j1);
+ EXTI1_IRQHandler();
+ TRACE_EVENT(E, j1);
+ finish_execution();
+ terminate_execution();
+ #endif
+
+#elif (JOB == 1)
+ // check task 1
+ klee_make_symbolic(&state, sizeof(state), "state");
+ //IRQh(j1);
+ EXTI1_IRQHandler();
+
+#endif
+}
/* enable in assignment c
TASK(j3) {
#ifdef enable_itm