Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.kernel > #88710

Processed: Re: Bug#1110565: EFI runtime services not available in RT kernel

From "Debian Bug Tracking System" <owner@bugs.debian.org>
Newsgroups linux.debian.kernel
Subject Processed: Re: Bug#1110565: EFI runtime services not available in RT kernel
Date 2025-08-08 21:10 +0200
Message-ID <LhADv-65Qy-3@gated-at.bofh.it> (permalink)
References <LhADv-65Qy-5@gated-at.bofh.it> <LhzHr-65e7-9@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


Processing control commands:

> reassign -1 src:linux
Bug #1110565 [linux-image-rt-amd64] EFI runtime services not available in RT kernel
Bug reassigned from package 'linux-image-rt-amd64' to 'src:linux'.
No longer marked as found in versions 6.12.38+deb13-rt.
Ignoring request to alter fixed versions of bug #1110565 to the same values previously set
> forcemerge 956752 -1
Bug #956752 [src:linux] linux-image-rt-amd64: No access to EFI variables possible with rt kernels
Bug #1021245 [src:linux] linux-image-5.10.0-18-rt-amd64: can't access EFIVARS when using rt version of kernel
Bug #1089569 [src:linux] efivarfs module can't find EFI Variable Filesystem on rt kernel
Bug #1110565 [src:linux] EFI runtime services not available in RT kernel
Severity set to 'important' from 'normal'
Marked as found in versions linux/6.12.3-1, linux/4.19.98-1, linux/5.10.113-1, linux/5.16.12-1, linux/5.15.5-2, linux/5.4.19-1, and linux/5.10.140-1.
Bug #1021245 [src:linux] linux-image-5.10.0-18-rt-amd64: can't access EFIVARS when using rt version of kernel
Bug #1089569 [src:linux] efivarfs module can't find EFI Variable Filesystem on rt kernel
Merged 956752 1021245 1089569 1110565

-- 
1021245: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1021245
1089569: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1089569
1110565: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1110565
956752: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956752
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Back to linux.debian.kernel | Previous | NextPrevious in thread | Find similar | Unroll thread


Thread

Bug#1110565: EFI runtime services not available in RT kernel Information BravoSystems <info@bravosystems.es> - 2025-08-08 20:10 +0200
  Bug#1110565: EFI runtime services not available in RT kernel Salvatore Bonaccorso <carnil@debian.org> - 2025-08-08 21:10 +0200
  Processed: Re: Bug#1110565: EFI runtime services not available in  RT kernel "Debian Bug Tracking System" <owner@bugs.debian.org> - 2025-08-08 21:10 +0200

csiph-web