0001-awk.patch
# Use upstream patch instead
#0002-stderr.patch
0004-return-code.patch
0005-cmdline.patch
0008-show-delay.patch
drop-systemd-vconsole-setup-service.patch

# Ubuntu patches
## Cherrypick upstream
0001-terminal-add-include-for-sysmacros.h.patch
0002-scripts-Use-2-instead-of-dev-stderr.patch
0003-device-manager-fall-back-to-text-mode-if-graphical-d.patch
0004-populate-initrd-handle-themes-with-subdirs.patch
0005-INSTALL-Fix-a-spelling-error-in-the-command-example.patch
0006-x11-don-t-call-gdk_display_get_name-before-gtk_init.patch
0007-device-manager-drop-superfluous-create_pixel_display.patch
git_move_renderer_deactivate_778e0fb7.patch
0009-renderer-support-reactivating-renderer-without-closi.patch
0010-main-Only-activate-renderers-if-the-splash-uses-pixe.patch
0011-drm-Remove-unnecessary-reset_scan_out_buffer_if_need.patch
# despite the name, this is actually 28ee401 (it was previously the hash of the
# merge commit; the patch is not renamed to not generate too much diff noise)
git_ensure_tty_closed_0a662723.patch
0013-device-manager-don-t-watch-for-udev-events-when-deac.patch

## Ubuntu
misc-changes.patch
avoid-sigpipe.patch
details-short-prompt.patch
details-remove-separator.patch
details-update-status.patch
initramfsless-boot.patch
fix-split-writes.patch
ubuntu-add-splash-option.patch
default-devicetimeout.patch
timeout-for-ping.patch

# Ubuntu themes
ubuntu-logo.patch
ubuntu-text.patch
