On Mon, 31 Aug 2020 at 19:38, Heinrich Schuchardt <[email protected]> wrote: > > Closes: #50 > > ResetSystem() has return type void. So it cannot return EFI_UNSUPPORTED. > > Signed-off-by: Heinrich Schuchardt <[email protected]>
Acked-by: Ard Biesheuvel <[email protected]> > --- > source/chapter2-uefi.rst | 7 ++++--- > 1 file changed, 4 insertions(+), 3 deletions(-) > > diff --git a/source/chapter2-uefi.rst b/source/chapter2-uefi.rst > index 2add2de..74ef70e 100644 > --- a/source/chapter2-uefi.rst > +++ b/source/chapter2-uefi.rst > @@ -209,9 +209,10 @@ ResetSystem() is required to be implemented in boot > services, but it is > optional for runtime services. > During runtime services, the operating system should first attempt to > use ResetSystem() to reset the system. > -If firmware doesn't support ResetSystem() during runtime services, > -then the call will immediately return EFI_UNSUPPORTED, and the OS should > -fall back to an architecture or platform specific reset mechanism. > + > +If firmware doesn't support ResetSystem() during runtime services, then the > call > +will immediately return, and the OS should fall back to an architecture or > +platform specific reset mechanism. > > On AArch64 platforms implementing [PSCI]_, > if ResetSystem() is not implemented then the Operating System should fall > -- > 2.28.0 > > _______________________________________________ > boot-architecture mailing list > [email protected] > https://lists.linaro.org/mailman/listinfo/boot-architecture _______________________________________________ boot-architecture mailing list [email protected] https://lists.linaro.org/mailman/listinfo/boot-architecture
