commit | 64e4c9e6baeca190562d79feeedeb8f0c5736ebe | [log] [tgz] |
---|---|---|
author | Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> | Thu Nov 25 09:47:54 2021 +0100 |
committer | GitHub <noreply@github.com> | Thu Nov 25 09:47:54 2021 +0100 |
tree | 8179219ea836507fc7631f490bbdf3704d01d69f | |
parent | 22dc504bb6db5d2c5dab9b615d7fafcc0c078f5f [diff] | |
parent | 71c6fc02f293feb35635d51374f61aa9a4b3f3fe [diff] |
Merge pull request #400 from gilles-peskine-arm/pages-drivers-20211117 Remove obsolete reference to the old driver interface