[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnumach] 01/01: note TODO for the dde patch
From: |
Samuel Thibault |
Subject: |
[gnumach] 01/01: note TODO for the dde patch |
Date: |
Sat, 30 Jan 2016 16:08:19 +0000 |
This is an automated email from the git hooks/post-receive script.
sthibault pushed a commit to branch master
in repository gnumach.
commit 804d4b5cab5f5077776ac56b31da3e4bfc43b049
Author: Samuel Thibault <address@hidden>
Date: Sat Jan 30 17:06:53 2016 +0100
note TODO for the dde patch
---
debian/patches/70_dde.patch | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/debian/patches/70_dde.patch b/debian/patches/70_dde.patch
index 95f26df..a55386c 100644
--- a/debian/patches/70_dde.patch
+++ b/debian/patches/70_dde.patch
@@ -1,3 +1,7 @@
+TODO: This needs to be cleaned to be pushed upstream. Notably, userland
+shouldn't be able to mask a kernel IRQ. Instead, device_intr_enable() should
+just disable/enable IRQ delivery to userland.
+
Index: gnumach/Makefrag.am
===================================================================
--- gnumach.orig/Makefrag.am
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-hurd/gnumach.git