0002-Add-proc_set_init_task-make-runsystem-pid-1.patch
0003-startup-rename-hurd-init-to-hurd-startup.patch
0004-init-add-a-minimalist-init-program.patch
0005-startup-do-not-pass-signals-on-to-the-child.patch
0006-startup-be-more-specific-in-the-shutdown-message.patch
0007-startup-fix-the-declaration-of-the-_server-functions.patch
0008-startup-bind-the-startup-server-to-servers-startup.patch
libexec-splitinit.patch

diskfs_no_inherit_dir_group.patch
makedev.diff
pfinet_dhcp.patch
startup-usr-support.patch
tmp_exec_startup.patch
uptime_w_path_fix.patch
stat_round.patch

#external.patch
external-splitinit.patch

console_ignore_bdf_err.patch
posix-sigcodes.patch
random-default-fast.patch

#libexec.patch

libdde_netdev_tx_t.patch
libdde_pci-needs_freset.patch
libdde_addr_list.patch
libdde_ucast_list.patch
libdde_addr_fix.patch
libdde_group_addr.patch
libdde_rculist.patch
libdde_dma_head.patch
libdde_mdio.patch
libdde_ethoc.patch
libdde_phy.patch
libdde_pci_ids.h.patch
libdde_ethtool.patch
libdde_workqueue.patch
libdde_trans_start.patch
libdde_devres.patch
libdde_pr_cont.patch
libdde_rx_queue.patch
libdde_rcu.patch
mount.patch

# Gabriele Giacone's patches
mount-bind.patch

### disabled for splitinit
# proc_set_init_task.patch

xkb-compat.patch

mach-defpager-protected-payload.patch