summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2013-12-17 11:59:18 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2013-12-17 11:59:18 +0100
commit7fcfe4d8a282ef3fbfda17010a5cc738e35dcafc (patch)
tree817e0401fb25b645d700ce49a5a550a5c5e27972 /debian
parentc05f18c7279084b70379af583530aba5b1c7cc39 (diff)
refresh debian/patches/70_dde.patch
Diffstat (limited to 'debian')
-rw-r--r--debian/patches/70_dde.patch70
1 files changed, 20 insertions, 50 deletions
diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index 9d4a3bd..41fdf61 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -1,8 +1,6 @@
-diff --git a/Makefrag.am b/Makefrag.am
-index 5d22504..64abbe9 100644
--- a/Makefrag.am
+++ b/Makefrag.am
-@@ -204,6 +204,7 @@ libkernel_a_SOURCES += \
+@@ -218,6 +218,7 @@ EXTRA_DIST += \
kern/mach.srv \
kern/mach4.srv \
kern/gnumach.srv \
@@ -10,7 +8,7 @@ index 5d22504..64abbe9 100644
kern/mach_debug.srv \
kern/mach_host.srv
-@@ -280,6 +281,7 @@ libkernel_a_SOURCES += \
+@@ -300,6 +301,7 @@ libkernel_a_SOURCES += \
device/device_types_kernel.h \
device/ds_routines.c \
device/ds_routines.h \
@@ -18,7 +16,7 @@ index 5d22504..64abbe9 100644
device/if_ether.h \
device/if_hdr.h \
device/io_req.h \
-@@ -348,6 +352,7 @@ include_mach_HEADERS = \
+@@ -371,6 +373,7 @@ include_mach_HEADERS = \
include/mach/memory_object_default.defs \
include/mach/notify.defs \
include/mach/std_types.defs \
@@ -26,7 +24,7 @@ index 5d22504..64abbe9 100644
include/mach/alert.h \
include/mach/boolean.h \
include/mach/boot.h \
-@@ -478,6 +483,7 @@ nodist_libkernel_a_SOURCES += \
+@@ -503,6 +506,7 @@ nodist_lib_dep_tr_for_defs_a_SOURCES +=
kern/mach.server.defs.c \
kern/mach4.server.defs.c \
kern/gnumach.server.defs.c \
@@ -34,7 +32,7 @@ index 5d22504..64abbe9 100644
kern/mach_debug.server.defs.c \
kern/mach_host.server.defs.c
nodist_libkernel_a_SOURCES += \
-@@ -487,6 +493,9 @@ nodist_libkernel_a_SOURCES += \
+@@ -515,6 +519,9 @@ nodist_libkernel_a_SOURCES += \
kern/gnumach.server.h \
kern/gnumach.server.c \
kern/gnumach.server.msgids \
@@ -44,7 +42,7 @@ index 5d22504..64abbe9 100644
kern/mach_debug.server.h \
kern/mach_debug.server.c \
kern/mach_debug.server.msgids \
-@@ -495,6 +504,7 @@ nodist_libkernel_a_SOURCES += \
+@@ -524,6 +531,7 @@ nodist_libkernel_a_SOURCES += \
# kern/mach.server.defs
# kern/mach4.server.defs
# kern/gnumach.server.defs
@@ -52,11 +50,9 @@ index 5d22504..64abbe9 100644
# kern/mach_debug.server.defs
# kern/mach_host.server.defs
-diff --git a/device/ds_routines.c b/device/ds_routines.c
-index 5a6fdd2..b89d70f 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
-@@ -318,6 +318,43 @@ ds_device_map (device_t dev, vm_prot_t prot, vm_offset_t offset,
+@@ -318,6 +318,43 @@ ds_device_map (device_t dev, vm_prot_t p
offset, size, pager, unmap);
}
@@ -100,7 +96,7 @@ index 5a6fdd2..b89d70f 100644
boolean_t
ds_notify (mach_msg_header_t *msg)
{
-@@ -1820,6 +1857,24 @@ device_writev_trap (mach_device_t device, dev_mode_t mode,
+@@ -1806,6 +1843,24 @@ device_writev_trap (mach_device_t device
return (result);
}
@@ -125,21 +121,16 @@ index 5a6fdd2..b89d70f 100644
struct device_emulation_ops mach_device_emulation_ops =
{
(void*) mach_device_reference,
-diff --git a/device/ds_routines.h b/device/ds_routines.h
-index a00a12d..9d635cf 100644
--- a/device/ds_routines.h
+++ b/device/ds_routines.h
-@@ -58,4 +58,7 @@ boolean_t ds_write_done(io_req_t);
- vm_size_t size,
- mach_port_t *pager);
+@@ -83,4 +83,7 @@ io_return_t ds_device_writev_trap(
+ io_buf_vec_t *iovec,
+ vm_size_t count);
+/* XXX arch-specific */
+extern ipc_port_t intr_rcv_ports[16];
+
#endif /* DS_ROUTINES_H */
-diff --git a/device/intr.c b/device/intr.c
-new file mode 100644
-index 0000000..6fca328
--- /dev/null
+++ b/device/intr.c
@@ -0,0 +1,198 @@
@@ -341,8 +332,8 @@ index 0000000..6fca328
+ return TRUE;
+}
+#endif /* MACH_XEN */
---- /dev/null 2012-02-17 19:11:40.849680975 +0100
-+++ b/kern/experimental.srv 2012-02-18 22:56:48.192291483 +0100
+--- /dev/null
++++ b/kern/experimental.srv
@@ -0,0 +1,3 @@
+#define KERNEL_SERVER 1
+
@@ -450,9 +441,6 @@ index 0000000..6fca328
+ out vaddr : vm_address_t;
+ out paddr : vm_address_t;
+ size : vm_size_t);
-diff --git a/include/device/intr.h b/include/device/intr.h
-new file mode 100644
-index 0000000..3c0e1b8
--- /dev/null
+++ b/include/device/intr.h
@@ -0,0 +1,17 @@
@@ -473,19 +461,9 @@ index 0000000..3c0e1b8
+#define MACH_INTR_NOTIFY 424242
+
+#endif
-diff --git a/kern/startup.c b/kern/startup.c
-index 3bdda16..9f0e692 100644
--- a/kern/startup.c
+++ b/kern/startup.c
-@@ -70,6 +70,7 @@ extern void vm_pageout();
- extern void reaper_thread();
- extern void swapin_thread();
- extern void sched_thread();
-+extern void intr_thread();
-
- extern void bootstrap_create();
- extern void device_service_create();
-@@ -231,6 +232,9 @@ void start_kernel_threads()
+@@ -221,6 +221,9 @@ void start_kernel_threads(void)
(void) kernel_thread(kernel_task, reaper_thread, (char *) 0);
(void) kernel_thread(kernel_task, swapin_thread, (char *) 0);
(void) kernel_thread(kernel_task, sched_thread, (char *) 0);
@@ -495,8 +473,6 @@ index 3bdda16..9f0e692 100644
#if NCPUS > 1
/*
-diff --git a/linux/dev/arch/i386/kernel/irq.c b/linux/dev/arch/i386/kernel/irq.c
-index 41bdaa3..974eaf8 100644
--- a/linux/dev/arch/i386/kernel/irq.c
+++ b/linux/dev/arch/i386/kernel/irq.c
@@ -83,6 +83,7 @@ struct linux_action
@@ -554,7 +530,7 @@ index 41bdaa3..974eaf8 100644
action = action->next;
}
-@@ -233,6 +265,7 @@ setup_x86_irq (int irq, struct linux_action *new)
+@@ -233,6 +265,7 @@ setup_x86_irq (int irq, struct linux_act
}
while (old);
shared = 1;
@@ -562,7 +538,7 @@ index 41bdaa3..974eaf8 100644
}
save_flags (flags);
-@@ -250,6 +283,51 @@ setup_x86_irq (int irq, struct linux_action *new)
+@@ -250,6 +283,51 @@ setup_x86_irq (int irq, struct linux_act
return 0;
}
@@ -614,7 +590,7 @@ index 41bdaa3..974eaf8 100644
/*
* Attach a handler to an IRQ.
*/
-@@ -278,6 +356,7 @@ request_irq (unsigned int irq, void (*handler) (int, void *, struct pt_regs *),
+@@ -278,6 +356,7 @@ request_irq (unsigned int irq, void (*ha
action->next = NULL;
action->dev_id = dev_id;
action->flags = flags;
@@ -622,11 +598,9 @@ index 41bdaa3..974eaf8 100644
retval = setup_x86_irq (irq, action);
if (retval)
-diff --git a/vm/vm_user.c b/vm/vm_user.c
-index 59c2a36..6cd9d77 100644
--- a/vm/vm_user.c
+++ b/vm/vm_user.c
-@@ -413,3 +413,117 @@ kern_return_t vm_wire(host, map, start, size, access)
+@@ -436,3 +436,117 @@ kern_return_t vm_wire(host, map, start,
round_page(start+size),
access);
}
@@ -744,8 +718,6 @@ index 59c2a36..6cd9d77 100644
+ kfree ((vm_offset_t) pages, npages * sizeof (vm_page_t));
+ return KERN_SUCCESS;
+}
-diff --git a/linux/dev/drivers/block/genhd.c b/linux/dev/drivers/block/genhd.c
-index 95b499b..c360af6 100644
--- a/linux/dev/drivers/block/genhd.c
+++ b/linux/dev/drivers/block/genhd.c
@@ -786,7 +786,9 @@ void device_setup(void)
@@ -759,11 +731,9 @@ index 95b499b..c360af6 100644
#endif
#ifndef MACH
console_map_init();
-diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c
-index c922d7f..078b1d0 100644
--- a/kern/ipc_kobject.c
+++ b/kern/ipc_kobject.c
-@@ -151,7 +151,8 @@ ipc_kobject_server(request)
+@@ -152,7 +152,8 @@ ipc_kobject_server(request)
device_server_routine(),
device_pager_server_routine(),
mach4_server_routine(),
@@ -773,7 +743,7 @@ index c922d7f..078b1d0 100644
#if MACH_DEBUG
extern mig_routine_t mach_debug_server_routine();
#endif
-@@ -170,6 +171,7 @@ ipc_kobject_server(request)
+@@ -172,6 +173,7 @@ ipc_kobject_server(request)
#endif /* MACH_DEBUG */
|| (routine = mach4_server_routine(&request->ikm_header)) != 0
|| (routine = gnumach_server_routine(&request->ikm_header)) != 0