Changes in / [6d5da743:723ce99] in mainline


Ignore:
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • boot/arch/arm32/src/main.c

    r6d5da743 r723ce99  
    129129       
    130130        printf(".\n");
    131 
    132         /* Flush PT too. We need this if we disable caches later */
    133         clean_dcache_poc(boot_pt, PTL0_ENTRIES * PTL0_ENTRY_SIZE);
    134131       
    135132        printf("Booting the kernel...\n");
  • kernel/arch/arm32/include/arch/mm/page_armv6.h

    r6d5da743 r723ce99  
    258258        if (flags & PAGE_CACHEABLE) {
    259259                /*
    260                  * Write-through, write-allocate memory, see ch. B3.8.2
     260                 * Write-through, no write-allocate memory, see ch. B3.8.2
    261261                 * (p. B3-1358) of ARM Architecture reference manual.
    262262                 * Make sure the memory type is correct, and in sync with:
  • tools/ew.py

    r6d5da743 r723ce99  
    8080                return 'system-x86_64', pc_options(64)
    8181        elif platform == 'arm32':
    82                 return 'system-arm', '-M integratorcp'
     82                return 'system-arm', ''
    8383        elif platform == 'ia32':
    8484                return 'system-i386', pc_options(32)
Note: See TracChangeset for help on using the changeset viewer.