qubes-doc/developer/general/gsoc.md
2021-04-17 10:31:11 +02:00

34 KiB
Raw Blame History

lang layout permalink redirect_from ref title
en sidebar /gsoc/ /GSoC/ 33 Google Summer of Code

2021 Google Summer of Code

Information for Students

Thank you for your interest in participating in the Google Summer of Code program with the Qubes OS team. You can read more about the Google Summer of Code program at the official website and the official FAQ.

Being accepted as a Google Summer of Code student is quite competitive. Students wishing to participate in the Summer of Code must be aware that you will be required to produce code for Qubes OS for 3 months. Your mentors, Qubes developers, will dedicate a portion of their time towards mentoring you. Therefore, we seek candidates who are committed to helping Qubes long-term and are willing to do quality work and be proactive in communicating with your mentor.

You don't have to be a proven developer -- in fact, this whole program is meant to facilitate joining Qubes and other free and open source communities. The Qubes community maintains information about contributing to Qubes development and how to send patches. In order to contribute code to the Qubes project, you must be able to sign your code.

You should start learning the components that you plan on working on before the start date. Qubes developers are available on the mailing lists for help. The GSoC timeline reserves a lot of time for bonding with the project -- use that time wisely. Good communication is key, you should plan to communicate with your team daily and formally report progress and plans weekly. Students who neglect active communication will be failed.

Overview of Steps

  • Join the qubes-devel list and introduce yourself, and meet your fellow developers
  • Read Google's instructions for participating and the GSoC Student Manual
  • Take a look at the list of ideas below
  • Come up with a project that you are interested in (and feel free to propose your own! Don't feel limited by the list below.)
  • Read the Student Proposal guidelines below
  • Write a first draft proposal and send it to the qubes-devel mailing list for review
  • Submit proposal using Google's web interface ahead of the deadline (this requires a Google Account!)
  • Submit proof of enrollment well ahead of the deadline

Coming up with an interesting idea that you can realistically achieve in the time available to you (one summer) is probably the most difficult part. We strongly recommend getting involved in advance of the beginning of GSoC, and we will look favorably on applications from students who have already started to act like free and open source developers.

Before the summer starts, there are some preparatory tasks which are highly encouraged. First, if you aren't already, definitely start using Qubes as your primary OS as soon as possible! Also, it is encouraged that you become familiar and comfortable with the Qubes development workflow sooner than later. A good way to do this (and also a great way to stand out as an awesome applicant and make us want to accept you!) might be to pick up some issues from qubes-issues (our issue-tracking repo) and submit some patches addressing them. Some suitable issues might be those with tags "help wanted" and "P: minor" (although more significant things are also welcome, of course). Doing this will get you some practice with qubes-builder, our code-signing policies, and some familiarity with our code base in general so you are ready to hit the ground running come summer.

Student proposal guidelines

A project proposal is what you will be judged upon. Write a clear proposal on what you plan to do, the scope of your project, and why we should choose you to do it. Proposals are the basis of the GSoC projects and therefore one of the most important things to do well. The proposal is not only the basis of our decision of which student to choose, it has also an effect on Google's decision as to how many student slots are assigned to Qubes.

Below is the application template:

# Introduction

Every software project should solve a problem. Before offering the solution (your Google Summer of Code project), you should first define the problem. Whats the current state of things? Whats the issue you wish to solve and why? Then you should conclude with a sentence or two about your solution. Include links to discussions, features, or bugs that describe the problem further if necessary.

# Project goals

Be short and to the point, and perhaps format it as a list. Propose a clear list of deliverables, explaining exactly what you promise to do and what you do not plan to do. “Future developments” can be mentioned, but your promise for the Google Summer of Code term is what counts.

# Implementation

Be detailed. Describe what you plan to do as a solution for the problem you defined above. Include technical details, showing that you understand the technology. Illustrate key technical elements of your proposed solution in reasonable detail.

# Timeline

Show that you understand the problem, have a solution, have also broken it down into manageable parts, and that you have a realistic plan on how to accomplish your goal. Here you set expectations, so dont make promises you cant keep. A modest, realistic and detailed timeline is better than promising the impossible.

If you have other commitments during GSoC, such as a job, vacation, exams, internship, seminars, or papers to write, disclose them here. GSoC should be treated like a full-time job, and we will expect approximately 40 hours of work per week. If you have conflicts, explain how you will work around them. If you are found to have conflicts which you did not disclose, you may be failed.

Open and clear communication is of utmost importance. Include your plans for communication in your proposal; daily if possible. You will need to initiate weekly formal communications such as a detailed email to the qubes-devel mailing list. Lack of communication will result in you being failed.

# About me

Provide your contact information and write a few sentences about you and why you think you are the best for this job. Prior contributions to Qubes are helpful; list your commits. Name people (other developers, students, professors) who can act as a reference for you. Mention your field of study if necessary. Now is the time to join the relevant mailing lists. We want you to be a part of our community, not just contribute your code.

Tell us if you are submitting proposals to other organizations, and whether or not you would choose Qubes if given the choice.

Other things to think about:
* Are you comfortable working independently under a supervisor or mentor who is several thousand miles away, and perhaps 12 time zones away? How will you work with your mentor to track your work? Have you worked in this style before?
* If your native language is not English, are you comfortable working closely with a supervisor whose native language is English? What is your native language, as that may help us find a mentor who has the same native language?
* After you have written your proposal, you should get it reviewed. Do not rely on the Qubes mentors to do it for you via the web interface, although we will try to comment on every proposal. It is wise to ask a colleague or a developer to critique your proposal. Clarity and completeness are important.

Project Ideas

These project ideas were contributed by our developers and may be incomplete. If you are interested in submitting a proposal based on these ideas, you should contact the qubes-devel mailing list and associated GitHub issue to learn more about the idea.

### Adding a Proposal

**Project**: Something that you're totally excited about

**Brief explanation**: What is the project, where does the code live?

**Expected results**: What is the expected result in the timeframe given

**Knowledge prerequisite**: Pre-requisites for working on the project. What coding language and knowledge is needed?
If applicable, links to more information or discussions

**Mentor**: Name and email address.

Qubes as a Vagrant provider

Project: Qubes as a Vagrant provider

Brief explanation: Currently using Vagrant on Qubes requires finding an image that uses Docker as isolation provider and running Docker in a qube, or downloading the Vagrantfile and manually setting up a qube according to the Vagrantfile. This project aims at simplifying this workflow. Since introduction of Admin API, it's possible for a qube to provision another qube - which is exactly what is needed for Vagrant. Related discussion

Expected results:

  • Design how Vagrant Qubes provider should look like, including:
    • box format
    • method for running commands inside (ssh vs qvm-run)
  • Write a Vagrant provider able to create/start/stop/etc a VM
  • Document how to configure and use the provider, including required qrexec policy changes and possibly firewall rules
  • Write integration tests

Knowledge prerequisite:

  • Ruby
  • Vagrant concepts

Mentor: Wojtek Porczyk, Marek Marczykowski-Górecki

Mechanism for maintaining in-VM configuration

Project: Mechanism for maintaining in-VM configuration

Brief explanation: Large number of VMs is hard to maintain. Templates helps with keeping them updated, but many applications have configuration in user home directory, which is not synchronized.

Expected results:

  • Design a mechanism how to safely synchronize application configuration living in user home directory (~/.config, some other "dotfiles"). Mechanism should be resistant against malicious VM forcing its configuration on other VMs. Some approach could be a strict control which VM can send what changes (whitelist approach, not blacklist).
  • Implementation of the above mechanism.
  • Documentation how to configure it securely.

Knowledge prerequisite:

  • shell and/or python scripting
  • Qubes OS qrexec services

Mentor: Frédéric Pierret

Wayland support in GUI agent and/or GUI daemon

Project: Wayland support in GUI agent and/or GUI daemon

Brief explanation: Currently both GUI agent (VM side of the GUI virtualization) and GUI daemon (dom0 side of GUI virtualization) support X11 protocol only. It may be useful to add support for Wayland there. Note that those are in fact two independent projects:

  1. GUI agent - make it work as Wayland compositor, instead of extracting window's composition buffers using custom X11 driver
  2. GUI daemon - act as Wayland application, showing windows retrieved from VMs, keeping zero-copy display path (window content is directly mapped from application running in VM, not copied)

Expected results:

Choose either of GUI agent, GUI daemon. Both are of similar complexity and each separately looks like a good task for GSoC time period.

  • design relevant GUI agent/daemon changes, the GUI protocol should not be affected
  • consider window decoration handling - VM should have no way of spoofing those, so it must be enforced by GUI daemon (either client-side - by GUI daemon itself, or server-side, based on hints given by GUI daemon)
  • implement relevant GUI agent/daemon changes
  • implement tests for new GUI handling, similar to existing tests for X11 based GUI

Relevant links:

Knowledge prerequisite:

  • Wayland architecture
  • basics of X11 (for understanding existing code)
  • C language
  • using shared memory (synchronization methods etc)

Mentor: Marek Marczykowski-Górecki.

Qubes Live USB

Project: Revive Qubes Live USB, integrate it with installer

Brief explanation: Qubes Live USB is based on Fedora tools to build live distributions. But for Qubes we need some adjustments: starting Xen instead of Linux kernel, smarter copy-on-write handling (we run there multiple VMs, so a lot more data to save) and few more. Additionally in Qubes 3.2 we have so many default VMs that default installation does not fit in 16GB image (default value) - some subset of those VMs should be chosen. Ideally we'd like to have just one image being both live system and installation image. More details: #1552, #1965.

Expected results:

  • Adjust set of VMs and templates included in live edition.
  • Update and fix build scripts for recent Qubes OS version.
  • Update startup script to mount appropriate directories as either copy-on-write (device-mapper snapshot), or tmpfs.
  • Optimize memory usage: should be possible to run sys-net, sys-firewall, and at least two more VMs on 4GB machine. This include minimizing writes to copy-on-write layer and tmpfs (disable logging etc).
  • Research option to install the system from live image. If feasible add this option.

Knowledge prerequisite:

  • System startup sequence: bootloaders (isolinux, syslinux, grub, UEFI), initramfs, systemd.
  • Python and Bash scripting
  • Filesystems and block devices: loop devices, device-mapper, tmpfs, overlayfs, sparse files.

Mentor: Frédéric Pierret

LogVM(s)

Project: LogVM(s)

Brief explanation: Qubes AppVMs do not have persistent /var (on purpose). It would be useful to send logs generated by various VMs to a dedicated log-collecting VM. This way logs will not only survive VM shutdown, but also be immune to altering past entries. See #830 for details.

Expected results:

  • Design a simple protocol for transferring logs. The less metadata (parsed in log-collecting VM) the better.
  • Implement log collecting service. Besides logs itself, should save information about logs origin (VM name) and timestamp. The service should not trust sending VM in any of those.
  • Implement log forwarder compatible with systemd-journald and rsyslog. A mechanism (service/plugin) fetching logs in real time from those and sending to log-collecting VM over qrexec service.
  • Document the protocol.
  • Write unit tests and integration tests.

Knowledge prerequisite:

  • syslog
  • systemd
  • Python/Bash scripting

Mentor: Frédéric Pierret

Whonix IPv6 and nftables support

Project: Whonix IPv6 and nftables support

Brief explanation: T509

Expected results:

  • Work at upstream Tor: An older version of TransparentProxy page was the origin of Whonix. Update that page for nftables / IPv6 support without mentioning Whonix. Then discuss that on the tor-talk mailing list for wider input. here
  • implement corridor feature request add IPv6 support / port to nftables - issue
  • port whonix-firewall to nftables
  • make connections to IPv6 Tor relays work
  • make connections to IPv6 destinations work

Knowledge prerequisite:

  • nftables
  • iptables
  • IPv6

Mentor: Patrick Schleizer

GUI agent for Windows 8/10

Project: GUI agent for Windows 8/10

Brief explanation: Add support for Windows 8+ to the Qubes GUI agent and video driver. Starting from Windows 8, Microsoft requires all video drivers to conform to the WDDM display driver model which is incompatible with the current Qubes video driver. Unfortunately the WDDM model is much more complex than the old XPDM one and officially requires a physical GPU device (which may be emulated). Some progress has been made to create a full WDDM driver that doesn't require a GPU device, but the driver isn't working correctly yet. Alternatively, WDDM model supports display-only drivers which are much simpler but don't have access to system video memory and rendering surfaces (a key feature that would simplify seamless GUI mode). #1861

Expected results: Working display-only WDDM video driver or significant progress towards making the full WDDM driver work correctly.

Knowledge prerequisite: C/C++ languages, familiarity with Windows API, familiarity with the core Windows WDM driver model. Ideally familiarity with the WDDM display driver model.

Mentor: Rafał Wojdyła

Unattended Windows installation

Project: Unattended Windows installation

Brief explanation: Simplify Windows usage by providing a tool that perform unattended installation given required input data (installation image, license key, user name, etc). Similar feature is already supported in other virtualization solutions, including VMWare Workstation and VirtualBox. Related github issue.

Expected results:

  • A template for autounattended.xml file for Windows installer - the template should have placeholders for settings that need to be provided by the user.
  • A tool for generating actual autounattended.xml file based on the template and user settings.
  • A tool for launching Windows installation, given installation image and autounattended.xml file (can be the same as in the above point).
  • (Optional) Unattended installation should also include Qubes Windows Tools.
  • (Optional) A tool should be able to use Windows license embedded in ACPI tables - related discussion
  • User documentation
  • Automated tests (unit tests, integration tests)

Knowledge prerequisite:

  • Python scripting
  • Linux administration, including handling loop devices, partition tables, filesystems etc
  • For optional features, C language and x86 architecture (ACPI tables)

Mentor: Rafał Wojdyła, Marek Marczykowski-Górecki

GNOME support in dom0 / GUI VM

Project: GNOME support in dom0

Brief explanation: Integrating GNOME into Qubes dom0. This include:

  • patching window manager to add colorful borders
  • removing stuff not needed in dom0 (file manager(s), indexing services etc)
  • adjusting menu for easy navigation (same applications in different VMs and such problems, dom0-related entries in one place)
  • More info: #1806

Expected results:

  • Review existing support for other desktop environments (KDE, Xfce4, i3, awesome).
  • Patch window manager to draw colorful borders (we use only server-side decorations), there is already very similar patch in Cappsule project.
  • Configure GNOME to not make use of dom0 user home in visible way (no search in files there, no file manager, etc).
  • Configure GNOME to not look into external devices plugged in (no auto mounting, device notifications etc).
  • Package above modifications as RPMs, preferably as extra configuration files and/or plugins than overwriting existing files. Exceptions to this rule may apply if no other option.
  • Adjust comps.xml (in installer-qubes-os repo) to define package group with all required packages.
  • Document installation procedure.

Knowledge prerequisite:

  • GNOME architecture
  • C language (patching metacity)
  • Probably also javascript - for modifying GNOME shell extensions

Mentor: Frédéric Pierret, Marek Marczykowski-Górecki

Generalize the Qubes PDF Converter to other types of files

Project: Qubes Converters

Brief explanation: One of the pioneering ideas of Qubes is to use disposable virtual machines to convert untrustworthy files (such as documents given to journalists by unknown and potentially malicious whistleblowers) into trustworthy files. See Joanna's blog on the Qubes PDF Convert for details of the idea. Joanna has implemented a prototype for PDF documents. The goal of this project would be to generalize beyond the simple prototype to accommodate a wide variety of file formats, including Word documents, audio files, video files, spreadsheets, and so on. The converters should prioritise safety over faithful conversion. For example the Qubes PDF converter typically leads to lower quality PDFs (e.g. cut and paste is no longer possible), because this makes the conversion process safer.

Expected results: We expect that in the timeframe, it will be possible to implement many converters for many file formats. However, if any unexpected difficulties arise, we would prioritise a small number of safe and high quality converters over a large number of unsafe or unuseful converters.

Knowledge prerequisite: Most of the coding will probably be implemented as shell scripts to interface with pre-existing converters (such as ImageMagick in the Qubes PDF converter). However, shell scripts are not safe for processing untrusted data, so any extra processing will need to be implemented in another language -- probably Python.

Mentors: Andrew Clausen and Jean-Philippe Ouellet

Progress towards reproducible builds

Project: Progress towards reproducible builds

Brief explanation: A long-term goal is to be able to build the entire OS and installation media in a completely bit-wise deterministic manner, but there are many baby steps to be taken along that path. See:

for more information and qubes-specific background.

Expected results: Significant progress towards making the Qubes build process deterministic. This would likely involve cooperation with and hacking on several upstream build tools to eliminate sources of variability.

Knowledge prerequisite: qubes-builder [1] [2] [3], and efficient at introspecting complex systems: comfortable with tracing and debugging tools, ability to quickly identify and locate issues within a large codebase (upstream build tools), etc.

Mentor: Marek Marczykowski-Górecki

Porting Qubes to ARM/aarch64

Project: Porting Qubes to ARM/aarch64

Brief explanation:

Qubes currently only supports the x86_64 CPU architecture. Xen currently has additional support for ARM32/ARM64 processors, however work needs to be done to integrate this into the Qubes build process, as well as work in integrating this with the Qubes toolstack and security model. This may also be beneficial in simplifying the process of porting to other architectures.

Some related discussion:

  • #4318 on porting to ppc64.
  • #3894 on porting to L4 microkernel.

Expected results:

  • Add cross-compilation support to qubes-builder and related components.
  • Make aarch64 specific adjustments to Qubes toolstacks/manager (including passthrough of devices from device tree to guest domains).
  • Aarch64 specific integration and unit tests.
  • Production of generic u-boot or uefi capable image/iso for target hardware.

Knowledge prerequisite:

  • Libvirt and Qubes toolstacks (C and python languages).
  • Xen debugging.
  • General ARM architecture knowledge.

Mentor: Marek Marczykowski-Górecki

Android development in Qubes

Project: Research running Android in Qubes VM (probably HVM) and connecting it to Android Studio

Brief explanation: The goal is to enable Android development (and testing!) on Qubes OS. Currently it's only possible using qemu-emulated Android for ARM. Since it's software emulation it's rather slow. Details, reference: #2233

Expected results:

  • a simple way of setting up Android qubes with hardware emulation (distributed as a template or as a salt, handling various modern Android versions)
  • figuring out and implementing an easy and secure way to connect an Android qube to a development qube with Android studio
  • documentation and tests

Knowledge prerequisite:

Mentor: Inquire on qubes-devel.

Admin API Fuzzer

Project: Develop a Fuzzer for the Qubes OS Admin API.

Brief explanation: The Qubes OS Admin API enables VMs to execute privileged actions on other VMs or dom0 - if allowed by the Qubes OS RPC policy. Programming errors in the Admin API however may cause these access rights to be more permissive than anticipated by the programmer.

Since the Admin API is continuously growing and changing, continuous security assessments are required. A Fuzzer would help to automate part of these assessments.

Expected results:

  • fully automated & extensible Fuzzer for parts of the Admin API
  • user & developer documentation

Prerequisites:

  • basic Python understanding
  • some knowledge about fuzzing & existing fuzzing frameworks (e.g. oss-fuzz)
  • a hacker's curiosity

Mentor: Inquire on qubes-devel.

Secure Boot support

Project: Add support for protecting boot binaries with Secure Boot technology, using user-generated keys.

Brief explanation: Since recently, Xen supports "unified EFI boot" which allows to sign not only Xen binary itself, but also dom0 kernel and their parameters. While the base technology is there, enabling it is a painful and complex process. The goal of this project is to integrate configuration of this feature into Qubes, automating as much as possible. See discussion in issue #4371

Expected results:

  • a tool to prepare relevant boot files for unified Xen EFI boot - this includes collecting Xen, dom0 kernel, initramfs, config file, and possibly few more (ucode update?); the tool should then sign the file with user provided key (preferably propose to generate it too)
  • integrate it with updates mechanism, so new Xen or dom0 kernel will be picked up automatically
  • include a fallback configuration that can be used for troubleshooting (main unified Xen EFI intentionally does not allow to manipulate parameters at boot time)

Knowledge prerequisite:

  • basic understanding of Secure Boot
  • Bash and Python scripting

Mentor: Marek Marczykowski-Górecki

Reduce logging of Disposable VMs

Project: Reduce logging of Disposable VMs

Brief explanation: Partial metadata of a DisposableVM is stored in the dom0 filesystem. This applies to various logs, GUI status files etc. There should be an option to hide as much of that as possible - including bypassing some logging, and removing various state files, or at the very least obfuscating any hints what is running inside DisposableVM. More details at issue #4972

Expected results: A DisposableVM should not leave logs hinting what was running inside.

Knowledge prerequisite:

  • Python scripting
  • Basic knowledge of Linux system services management (systemd, syslog etc)

Mentor: Marek Marczykowski-Górecki

Past Projects

You can view the projects we had in 2017 in the GSoC 2017 archive. We also participated in GSoC 2020, and you can see the project in the GSoC 2020 archive.

Here are some successful projects which have been implemented in the past by Google Summer of Code participants.

Template manager, new template distribution mechanism

Project: Template manager, new template distribution mechanism

Brief explanation: Template VMs currently are distributed using RPM packages. There are multiple problems with that, mostly related to static nature of RPM package (what files belong to the package). This means such Template VM cannot be renamed, migrated to another storage (like LVM), etc. Also we don't want RPM to automatically update template package itself (which would override all the user changes there). More details: #2064, #2534, #3573.

Expected results:

  • Design new mechanism for distributing templates (possibly including some package format - either reuse something already existing, or design new one). The mechanism needs to handle:
    • integrity protection (digital signatures), not parsing any data in dom0 prior to signature verification
    • efficient handling of large sparse files
    • ability to deploy the template into various storage mechanisms (sparse files, LVM thin volumes etc).
    • template metadata, templates repository - enable the user to browse available templates (probably should be done in dedicated VM, or DisposableVM)
    • manual template removal by users (without it, see problems such as #5509
  • Implement the above mechanism:
    • tool to download named template - should perform download operation in some VM (as dom0 have no network access), then transfer the data to dom0, verify its integrity and then create Template VM and feed it's root filesystem image with downloaded data.
    • tool to browse templates repository - both CLI and GUI (preferably integrated with existing Template Manager tool)
    • integrate both tools - user should be able to choose some template to be installed from repository browsing tool - see #1705 for some idea (this one lacks integrity verification, but a similar service could be developed with that added)
  • If new "package" format is developed, add support for it into linux-template-builder.
  • Document the mechanism.
  • Write unit tests and integration tests.

Knowledge prerequisite:

  • Large files (disk images) handling (sparse files, archive formats)
  • Bash and Python scripting
  • Data integrity handling - digital signatures (gpg2, gpgv2)
  • PyGTK
  • RPM package format, (yum) repository basics

Mentor: Marek Marczykowski-Górecki


We adapted some of the language here about GSoC from the KDE GSoC page.