diff options
author | Antonio Niño Díaz <antonio.ninodiaz@arm.com> | 2018-12-18 10:05:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-18 10:05:22 +0100 |
commit | e01065472a588c4f7f52f88654c5b991498eb3dc (patch) | |
tree | 87a282ac70779a34f08d3a40521b7f9e6aec0b58 /Makefile | |
parent | ea9c332d124e3fd3285705a99c1a6537d515c32e (diff) | |
parent | 35cd9e816929bc52de2e130e699eba3c9f60b806 (diff) |
Merge pull request #1720 from jeenu-arm/gic-priority
GIC: Remove lowest priority constants
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions