commit | bdaf7adb52e928018bd510a828e4dd558dbe1b39 | [log] [tgz] |
---|---|---|
author | Marc Zyngier <maz@kernel.org> | Thu Jun 24 16:28:41 2021 +0100 |
committer | Marc Zyngier <maz@kernel.org> | Thu Jun 24 16:28:41 2021 +0100 |
tree | 62f2b689ffd1990439f1bce9b1c20b254bb473a4 | |
parent | 8f3ad9eaa0567b7f6a8e6ed3bd12abd094c4a9b6 [diff] |
Fix 32bit documentation 32bit EFI has been available for quite a long time, but that was never reflected here. Do so. Signed-off-by: Marc Zyngier <maz@kernel.org>