> On 26 Jul 2018, at 14:46, Sebastian Andrzej Siewior <bigeasy@xxxxxxxxxxxxx> wrote: > >> On 2018-07-26 14:26:25 [+0200], Ard Biesheuvel wrote: >> What i mean is whatever you end up with if you pass efi=noruntime to the kernel. > ah. So I wouldn't have to patch this, just document it. That might work. > We could also make it the default on -rt, but not disable it entirely, so that efi=runtime can be used to re-enable it. >> But as i mentioned before, you may also lose the ability to reboot/shut down your system this way. Can you please double check? > > I checked before posting the patch. psci is used instead (on softiron > here, have nothing else). psci_sys_poweroff() works. > > Sebastian -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
