On Mon, 2019-06-10 at 15:46 -0500, Alec Ari wrote: > Hi, > > I'm running Debian on a test system, CSM has been disabled. if I boot > the stock non-RT Debian kernel, I can use efibootmgr. When I try > booting the PREEMPT_RT package (linux-image-rt-amd64) or a custom > PREEMPT_RT kernel with the following config options enabled: It's disabled by default on PREEMPT_RT due to latency concerns. You can override it with "efi=runtime" on the kernel command line. -Scott