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 <[email protected]> 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
