On 2018-07-26 18:01:47 [+0200], Ard Biesheuvel wrote: > Yes, that's what I was thinking. This way, you can still reboot into > the same kernel occasionally with EFI runtime services enabled to, > e.g., use efibootmgr. > > Acked-by: Ard Biesheuvel <ard.biesheuvel@xxxxxxxxxx> > > for both patches if you queue them in the -rt tree. If you want them > in mainline, please resend them as proper patches once > CONFIG_PREEMPT_RT_BASE has been declared in mainline as well. Okay, thank you. 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
