On Mon, 20 Jul 2020 23:12:31 +0200 "Alexander A. Klimov" <grandmas...@al2klimov.de> wrote:
> Documentation/arm64/arm-acpi.rst | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/Documentation/arm64/arm-acpi.rst > b/Documentation/arm64/arm-acpi.rst > index 872dbbc73d4a..8f675c38c244 100644 > --- a/Documentation/arm64/arm-acpi.rst > +++ b/Documentation/arm64/arm-acpi.rst > @@ -273,7 +273,7 @@ only use the _DSD Device Properties UUID [5]: > > - UUID: daffd814-6eba-4d8c-8a91-bc9bbf4aa301 > > - - > http://www.uefi.org/sites/default/files/resources/_DSD-device-properties-UUID.pdf > + - > https://www.uefi.org/sites/default/files/resources/_DSD-device-properties-UUID.pdf > > The UEFI Forum provides a mechanism for registering device properties [4] > so that they may be used across all operating systems supporting ACPI. Applied, thanks. jon
