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: Stefan Hajnoczi <stefanha@xxxxxxxxx>
Date: Thu, 6 Feb 2025 10:10:54 -0500
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: <Z6SCGN+rW2tJYATh@fedora>
References: <CAJSP0QVYE1Zcws=9hoO6+B+xB-hVWv38Dtu_LM8SysAmS4qRMw@mail.gmail.com> <Z6SCGN+rW2tJYATh@fedora>

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

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

Prev by Date: Re: Call for GSoC internship project ideas
Next by Date: Re: [PATCH] kvm: delete unused variables iommu_noncoherent in struct kvm_arch
Previous by thread: Re: Call for GSoC internship project ideas
Next by thread: [GIT PULL] VFIO updates for v6.14-rc1
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]