diff options
Diffstat (limited to 'debian/patches/50_initrd.patch')
| -rw-r--r-- | debian/patches/50_initrd.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/50_initrd.patch b/debian/patches/50_initrd.patch index 448df19..affcb7f 100644 --- a/debian/patches/50_initrd.patch +++ b/debian/patches/50_initrd.patch @@ -65,8 +65,8 @@ Index: gnumach/kern/bootstrap.c --- gnumach.orig/kern/bootstrap.c 2010-06-12 03:44:44.000000000 +0200 +++ gnumach/kern/bootstrap.c 2010-06-12 03:45:00.000000000 +0200 @@ -48,6 +48,7 @@ - #include <vm/vm_kern.h> #include <vm/vm_user.h> + #include <vm/pmap.h> #include <device/device_port.h> +#include <device/ramdisk.h> |