From mboxrd@z Thu Jan 1 00:00:00 1970 From: =?ISO-8859-1?Q?Roger_Pau_Monn=E9?= Subject: Re: Xen 4.2.1, linux kernel 3.7.5 crashed while reboot Date: Mon, 4 Mar 2013 17:44:44 +0100 Message-ID: <5134CF7C.9030707@citrix.com> References: <512CC78B.4080606@mfiala.net> <512CEB5C02000078000C1272@nat28.tlf.novell.com> <512CE2C6.3040907@mfiala.net> <512CF1E702000078000C12C7@nat28.tlf.novell.com> <512CE581.7020308@mfiala.net> <512CF62C02000078000C12F1@nat28.tlf.novell.com> <20130226220100.GA22418@phenom.dumpdata.com> <512DD37102000078000C1569@nat28.tlf.novell.com> <512DDB13.5000105@mfiala.net> <20130227154106.GF24932@phenom.dumpdata.com> <5134CDCC.9050605@mfiala.net> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <5134CDCC.9050605@mfiala.net> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Michal Fiala Cc: "xen-devel@lists.xen.org" , Jan Beulich , Konrad Rzeszutek Wilk List-Id: xen-devel@lists.xenproject.org On 04/03/13 17:37, Michal Fiala wrote: >>> We are using gentoo hardened sources (kernel). Hardened-sources is based >>> on the official Linux kernel and is targeted at our users running Gentoo >>> on server systems. It provides patches for the various subprojects of >>> Gentoo Hardened (such as support for LSM/SELinux and grsecurity), >>> together with stability/security-enhancements. >>> See http://www.gentoo.org/doc/en/gentoo-kernel.xml >>> >>> I will try gentoo-sources (lightly patched to fix security problems, >>> kernel bugs, and to increase compatibility with the more uncommon system >>> architectures) and vanilla-sources (official kernel sources released on >>> http://www.kernel.org/) >> >> Excellent. Thanks. > > The problem was fixed by changing kernel to gentoo-sources. So there is > a problem in hardened-sources. Alpine Linux is also using at least the grsecurity patches and there seems to be no problem with Xen.