From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:55892)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <msach@mailbox.tu-berlin.de>) id 1YZ0gI-0001AX-5o
	for qemu-devel@nongnu.org; Fri, 20 Mar 2015 13:25:59 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <msach@mailbox.tu-berlin.de>) id 1YZ0gD-00070H-2E
	for qemu-devel@nongnu.org; Fri, 20 Mar 2015 13:25:58 -0400
Received: from mail.tu-berlin.de ([130.149.7.33]:13116)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <msach@mailbox.tu-berlin.de>) id 1YZ0gC-000707-S7
	for qemu-devel@nongnu.org; Fri, 20 Mar 2015 13:25:52 -0400
Message-ID: <550C581D.5070609@mailbox.tu-berlin.de>
Date: Fri, 20 Mar 2015 18:25:49 +0100
From: Merten Sach <msach@mailbox.tu-berlin.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: [Qemu-devel] GSoC Proposal: ARM Virtualization Extensions
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@nongnu.org
Cc: peter.maydell@linaro.org

Hi,

I'm interested in participating in this years edition of Google Summer of Code.

I the last years I did a lot of work on hypervisors. Currently I'm working with a hypervisor on ARM
for my master degree. On previous projects using x86, the ability to do a quick debugging run using
QEMU with SVM support helped me a lot. However, the ARM version of QEMU is still lacking this useful
feature.

Initially I wanted to propose the implementation of ARMv7 virtualization extensions. I know this is
not supported at the moment. Also based on the documentation I found I thought it is still untouched.
However, when I looked at git log I saw that there is some preparation to include EL2 support (LPAE,
nested paging preparation, etc).
Is there demand for a GSoC project to further ARM virtualization extension support?

I have some experience with the QEMU codebase. In my bachelor thesis I adopted QEMU (1.0 war stable
at the time) to execute guests deterministically (in particular SMP guests).  However, this work was
never submitted upstream due to the different focus.

I appreciate any comments.

Best regards
Merten