<Filename>Reset/Reset.c</Filename>\r
<Filename>Security/Security.c</Filename>\r
<Filename>StatusCode/StatusCode.c</Filename>\r
- <Filename SupArchList="IPF">ipf/SwitchToCacheMode.c</Filename>\r
- <Filename SupArchList="IPF">ipf/IpfCpuCore.i</Filename>\r
- <Filename SupArchList="IPF">ipf/IpfCpuCore.s</Filename>\r
+ <Filename SupArchList="IPF">Ipf/SwitchToCacheMode.c</Filename>\r
+ <Filename SupArchList="IPF">Ipf/IpfCpuCore.i</Filename>\r
+ <Filename SupArchList="IPF">Ipf/IpfCpuCore.s</Filename>\r
+ <Filename SupArchList="IPF">Ipf/Stack.c</Filename>\r
+ <Filename SupArchList="IA32 X64 EBC">Dispatcher/Stack.c</Filename>\r
</SourceFiles>\r
<PackageDependencies>\r
<Package PackageGuid="5e0e9358-46b6-4ae2-8218-4ab8b9bbdcec"/>\r