On Tue, 2019-04-02 at 14:23 +0100, Julien Grall wrote: > Linux-rt is disabling EFI runtime by default because it may increase > the latency of the system (see [1] for more details). > > You can override the behavior by adding "efi=runtime" on your kernel > command line. > Yeah, I saw the 22/3 thread too late. Thanks anyway, Mart