Re: Call for GSoC internship project ideas

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: Call for GSoC internship project ideas
From: Matias Ezequiel Vara Larsen <mvaralar@xxxxxxxxxx>
Date: Fri, 7 Feb 2025 14:58:30 +0100
Cc: qemu-devel <qemu-devel@xxxxxxxxxx>, kvm <kvm@xxxxxxxxxxxxxxx>, Richard Henderson <richard.henderson@xxxxxxxxxx>, Philippe Mathieu-Daudé <philmd@xxxxxxxxxx>, Peter Maydell <peter.maydell@xxxxxxxxxx>, Paolo Bonzini <pbonzini@xxxxxxxxxx>, Thomas Huth <thuth@xxxxxxxxxx>, "Daniel P. Berrange" <berrange@xxxxxxxxxx>, Pierrick Bouvier <pierrick.bouvier@xxxxxxxxxx>, Alex Bennee <alex.bennee@xxxxxxxxxx>, Akihiko Odaki <akihiko.odaki@xxxxxxxxx>, Zhao Liu <zhao1.liu@xxxxxxxxx>, Bibo Mao <maobibo@xxxxxxxxxxx>, Jamin Lin <jamin_lin@xxxxxxxxxxxxxx>, Cédric Le Goater <clg@xxxxxxxxxx>, Fabiano Rosas <farosas@xxxxxxx>, Palmer Dabbelt <palmer@xxxxxxxxxxx>, Eugenio Pérez <eperezma@xxxxxxxxxx>, Hanna Reitz <hreitz@xxxxxxxxxx>, felisous@xxxxxxxxxx, Stefano Garzarella <sgarzare@xxxxxxxxxx>
In-reply-to: <CAJSP0QUn5HHXKnxgt-Gfefz9d4PmRzPbgYv7Hoo=wcyO-rwQEQ@mail.gmail.com>
References: <CAJSP0QVYE1Zcws=9hoO6+B+xB-hVWv38Dtu_LM8SysAmS4qRMw@mail.gmail.com> <Z6SCGN+rW2tJYATh@fedora> <CAJSP0QUn5HHXKnxgt-Gfefz9d4PmRzPbgYv7Hoo=wcyO-rwQEQ@mail.gmail.com>

On Thu, Feb 06, 2025 at 10:10:54AM -0500, Stefan Hajnoczi wrote:
> I have added your project idea to the wiki. Please make further
> changes directly on the wiki.
> 
> https://wiki.qemu.org/Google_Summer_of_Code_2025#Adding_Kani_proofs_for_Virtqueues_in_Rust-vmm
> 
> Thanks,
> Stefan
> 

Thanks,

Matias.

References:
- Call for GSoC internship project ideas
  - From: Stefan Hajnoczi
- Re: Call for GSoC internship project ideas
  - From: Matias Ezequiel Vara Larsen
- Re: Call for GSoC internship project ideas
  - From: Stefan Hajnoczi

Prev by Date: Re: Call for GSoC internship project ideas
Next by Date: Re: [RFC PATCH 1/2] KVM: arm64: nv: selftests: Add guest hypervisor test
Previous by thread: Re: Call for GSoC internship project ideas
Next by thread: Re: Call for GSoC internship project ideas
Index(es):
- Date
- Thread

[Index of Archives] [KVM ARM] [KVM ia64] [KVM ppc] [Virtualization Tools] [Spice Development] [Libvirt] [Libvirt Users] [Linux USB Devel] [Linux Audio Users] [Yosemite Questions] [Linux Kernel] [Linux SCSI] [XFree86]