From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:50224)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bobby.prani@gmail.com>) id 1aVRob-00072p-4I
	for qemu-devel@nongnu.org; Mon, 15 Feb 2016 17:40:21 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <bobby.prani@gmail.com>) id 1aVRoa-0005HR-8d
	for qemu-devel@nongnu.org; Mon, 15 Feb 2016 17:40:21 -0500
Received: from mail-vk0-x235.google.com ([2607:f8b0:400c:c05::235]:34319)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <bobby.prani@gmail.com>) id 1aVRoa-0005HG-3W
	for qemu-devel@nongnu.org; Mon, 15 Feb 2016 17:40:20 -0500
Received: by mail-vk0-x235.google.com with SMTP id e185so118583717vkb.1
	for <qemu-devel@nongnu.org>; Mon, 15 Feb 2016 14:40:19 -0800 (PST)
MIME-Version: 1.0
From: Pranith Kumar <bobby.prani@gmail.com>
Date: Mon, 15 Feb 2016 17:39:49 -0500
Message-ID: <CAJhHMCD-1L8kGMLgmxEkA4BS=3u1-nCDZbrbye1PiODsnHuAQg@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Subject: [Qemu-devel] QEMU GSoC 2016: MTTCG project
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: qemu-devel <qemu-devel@nongnu.org>, MTTCG Devel <mttcg@listserver.greensocs.com>
Cc: =?UTF-8?B?QWxleCBCZW5uw6ll?= <alex.bennee@linaro.org>

Hello,

I am interested in working on a portion of the MTTCG project as part
of GSoC 2016. I am writing to ask for guidance in creating a formal
proposal.

On IRC, Alex suggested a project to support proper modelling of memory
consistency between different host and guest architectures. This, I
think is going to based on top of Alvise's work. I am comfortable in
working with various memory consistency models and have a decent
programming experience.

Please let me know if you have any other suggestions for projects or
any other related advice.

Thanks!
-- 
Pranith