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


Groups > linux.debian.kernel > #80585

Bug#810964: #810964 is more kernel driver than Xen

From Salvatore Bonaccorso <carnil@debian.org>
Newsgroups linux.debian.bugs.dist, linux.debian.kernel
Subject Bug#810964: #810964 is more kernel driver than Xen
Date 2023-10-03 07:20 +0200
Message-ID <HkFZ7-dbKj-3@gated-at.bofh.it> (permalink)
References <qQMHw-59v-13@gated-at.bofh.it> <Hkvdn-d556-1@gated-at.bofh.it> <qQMHw-59v-13@gated-at.bofh.it> <Hkvdn-d556-1@gated-at.bofh.it>
Organization linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw


Control: tags -1 + upstream
Control: tags -1 + moreinfo

Hi Elliott,

On Mon, Oct 02, 2023 at 10:18:49AM -0700, Elliott Mitchell wrote:
> 
> reassign 810964 src:linux
> tags 810964 -moreinfo
> affects 810964 src:xen
> found 810964 5.10.191-1
> found 810964 6.1.52-1
> found 810964 6.5.3-1
> found 810964 5.10.127-2~bpo10+1
> found 810964 6.1.38-4~bpo11+1
> found 810964 6.4.4-3~bpo12+1
> quit
> 
> Upon further investigation, while some part of #810964 may be in Xen,
> the biggest issue is in the Linux kernel.
> 
> Appears MCE/EDAC support for Xen was implemented around 2008-2012.  Since
> that time the maintainer has changed and the new maintainer was unaware
> the driver was supposed to function on Xen.
> 
> As such the current maintainer has been adding in constructs which are
> incompatible with operation on Xen, and at 767f4b620eda overtly broke Xen
> support.
> 
> Part of the fix may require adjustments to Xen, but right now the
> immediate source of breakage is the Linux kernel.
> 
> As such I'm reassigning this to src:linux.

Can you report you findings upstream with the EDAC and xen subsystem
maintainers and keep this bug in the loop?

Regards,
Salvatore

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


Thread

Bug#810964: #810964 is more kernel driver than Xen Salvatore Bonaccorso <carnil@debian.org> - 2023-10-03 07:20 +0200
  Processed: Re: Bug#810964: #810964 is more kernel driver than Xen "Debian Bug Tracking System" <owner@bugs.debian.org> - 2023-10-03 07:20 +0200
  Processed: Re: Bug#810964: #810964 is more kernel driver than Xen "Debian Bug Tracking System" <owner@bugs.debian.org> - 2023-10-03 07:20 +0200

csiph-web