1. d5cd50d ARM: add 32bit support to GICv3 by Jean-Philippe Brucker ยท 9 years ago