• Jeffrey Lee's avatar
    Add GPIO & VCHIQ HAL devices. Fix FlushDataCache macro to perform a clean &... · 3b36df75
    Jeffrey Lee authored
    Add GPIO & VCHIQ HAL devices. Fix FlushDataCache macro to perform a clean & invalidate instead of just an invalidate.
    
    Detail:
      s/GPIO - Basic implementation of the GPIO HAL device to allow the GPIO module to detect the board type
      s/VCHIQ, hdr/StaticWS - New VCHIQ HAL device which exposes the functionality required by the work-in-progress VCHIQ driver.
      Makefile, s/Top - Hook up the new files/devices
      hdr/BCM2835 - Make the FlushDataCache macro perform a clean & invalidate, to match the behaviour of FlushDataCacheRange
    Admin:
      Tested on Raspberry Pi with high processor vectors
    
    
    Version 0.17. Tagged as 'BCM2835-0_17'
    3b36df75
Top 25.5 KB