From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id S1752868AbaI0J7Y (ORCPT <rfc822;w@1wt.eu>);
	Sat, 27 Sep 2014 05:59:24 -0400
Received: from cpsmtpb-ews02.kpnxchange.com ([213.75.39.5]:53711 "EHLO
	cpsmtpb-ews02.kpnxchange.com" rhost-flags-OK-OK-OK-OK)
	by vger.kernel.org with ESMTP id S1752031AbaI0J7X (ORCPT
	<rfc822;linux-kernel@vger.kernel.org>);
	Sat, 27 Sep 2014 05:59:23 -0400
Message-ID: <1411811959.15241.52.camel@x220>
Subject: Re: [GIT PULL] EFI urgent fixes
From: Paul Bolle <pebolle@tiscali.nl>
To: Valentin Rothberg <valentinrothberg@gmail.com>
Cc: Matt Fleming <matt@console-pimps.org>, Ingo Molnar <mingo@kernel.org>,
        Linus Torvalds <torvalds@linux-foundation.org>,
        "H. Peter Anvin" <hpa@zytor.com>, Thomas Gleixner <tglx@linutronix.de>,
        linux-efi@vger.kernel.org, linux-kernel@vger.kernel.org,
        Fengguang Wu <fengguang.wu@intel.com>
Date: Sat, 27 Sep 2014 11:59:19 +0200
In-Reply-To: <CAD3Xx4JmkDZ1Cw02DFAE0fa0EaEmBi8-W-p7JCfEXLERK5yuUQ@mail.gmail.com>
References: <20140925073133.GQ18635@console-pimps.org>
	 <20140925144127.GA3828@gmail.com> <1411730854.7866.10.camel@x220>
	 <20140926114454.GV18635@console-pimps.org> <1411732755.7866.24.camel@x220>
	 <20140926123429.GX18635@console-pimps.org>
	 <CAD3Xx4JmkDZ1Cw02DFAE0fa0EaEmBi8-W-p7JCfEXLERK5yuUQ@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
X-Mailer: Evolution 3.10.4 (3.10.4-3.fc20) 
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
X-OriginalArrivalTime: 27 Sep 2014 09:59:21.0513 (UTC) FILETIME=[B5CCE990:01CFDA39]
X-RcptDomain: vger.kernel.org
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Sat, 2014-09-27 at 10:04 +0200, Valentin Rothberg wrote:
> I will send some patches the
> next weeks to show which bugs can be detected with the tool.

Looking forward to those patches. If you do send them would you mind
CC-ing me?

Thanks,


Paul Bolle


From mboxrd@z Thu Jan  1 00:00:00 1970
From: Paul Bolle <pebolle-IWqWACnzNjzz+pZb47iToQ@public.gmane.org>
Subject: Re: [GIT PULL] EFI urgent fixes
Date: Sat, 27 Sep 2014 11:59:19 +0200
Message-ID: <1411811959.15241.52.camel@x220>
References: <20140925073133.GQ18635@console-pimps.org>
	 <20140925144127.GA3828@gmail.com> <1411730854.7866.10.camel@x220>
	 <20140926114454.GV18635@console-pimps.org> <1411732755.7866.24.camel@x220>
	 <20140926123429.GX18635@console-pimps.org>
	 <CAD3Xx4JmkDZ1Cw02DFAE0fa0EaEmBi8-W-p7JCfEXLERK5yuUQ@mail.gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
Return-path: <linux-efi-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org>
In-Reply-To: <CAD3Xx4JmkDZ1Cw02DFAE0fa0EaEmBi8-W-p7JCfEXLERK5yuUQ-JsoAwUIsXosN+BqQ9rBEUg@public.gmane.org>
Sender: linux-efi-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org
To: Valentin Rothberg <valentinrothberg-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
Cc: Matt Fleming <matt-HNK1S37rvNbeXh+fF434Mdi2O/JbrIOy@public.gmane.org>, Ingo Molnar <mingo-DgEjT+Ai2ygdnm+yROfE0A@public.gmane.org>, Linus Torvalds <torvalds-de/tnXTf+JLsfHDXvbKv3WD2FQJk+8+b@public.gmane.org>, "H. Peter Anvin" <hpa-YMNOUZJC4hwAvxtiuMwx3w@public.gmane.org>, Thomas Gleixner <tglx-hfZtesqFncYOwBW4kG4KsQ@public.gmane.org>, linux-efi-u79uwXL29TY76Z2rM5mHXA@public.gmane.org, linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org, Fengguang Wu <fengguang.wu-ral2JQCrhuEAvxtiuMwx3w@public.gmane.org>
List-Id: linux-efi@vger.kernel.org

On Sat, 2014-09-27 at 10:04 +0200, Valentin Rothberg wrote:
> I will send some patches the
> next weeks to show which bugs can be detected with the tool.

Looking forward to those patches. If you do send them would you mind
CC-ing me?

Thanks,


Paul Bolle