From mboxrd@z Thu Jan 1 00:00:00 1970 From: Paul Bolle 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> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: Sender: linux-efi-owner-u79uwXL29TY76Z2rM5mHXA@public.gmane.org To: Valentin Rothberg Cc: Matt Fleming , Ingo Molnar , Linus Torvalds , "H. Peter Anvin" , Thomas Gleixner , linux-efi-u79uwXL29TY76Z2rM5mHXA@public.gmane.org, linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org, Fengguang Wu 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