summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--open_issues/dde.mdwn23
-rw-r--r--open_issues/dde/13778443
-rw-r--r--public_hurd_boxen.mdwn26
-rw-r--r--public_hurd_boxen/sceen.mdwn11
-rw-r--r--sceen.mdwn1
5 files changed, 27 insertions, 77 deletions
diff --git a/open_issues/dde.mdwn b/open_issues/dde.mdwn
index 9e2ec742..e2cff94f 100644
--- a/open_issues/dde.mdwn
+++ b/open_issues/dde.mdwn
@@ -8,25 +8,8 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]
-[[General Information|/dde]].
-
-
-# IRC, freenode, #hurd, 2011-10-18
+[[!tag open_issue_hurd open_issue_gnumach]]
-[[!tag open_issue_hurd]]
-
- [DDE crash, or similar]
- <youpi> it's fake_local_irq_disable_flags(), then raw_local_irq_disable(),
- then raw_local_irq_restore(), which *does not* release the cli_lock
- <youpi> the "prove it" comment is (as I expected) completely wrong
- <youpi> npnth: http://paste.debian.net/137784/
-
-[[137784]]
+[[General Information|/dde]].
- <youpi> could you try this patch ?
- <youpi> (I've not even tried to build it)
- <npnth> youpi: speaking of which, it still seems to hang :/ I'll 1) double
- check it applied correctly and 2) get a gdb output if it did
- <youpi> npnth: could you add printing the value of unlock_refcnt?
- <youpi> so we can check what's happening
- <npnth> unlock_refcnt is at 0, interesting
+Still waiting for interface finalization and proper integration.
diff --git a/open_issues/dde/137784 b/open_issues/dde/137784
deleted file mode 100644
index 1529465b..00000000
--- a/open_issues/dde/137784
+++ /dev/null
@@ -1,43 +0,0 @@
-diff --git a/libdde_linux26/lib/src/arch/l4/cli_sti.c b/libdde_linux26/lib/src/arch/l4/cli_sti.c
-index 051f259..6a8c460 100644
---- a/libdde_linux26/lib/src/arch/l4/cli_sti.c
-+++ b/libdde_linux26/lib/src/arch/l4/cli_sti.c
-@@ -4,6 +4,8 @@
-
- /* IRQ lock reference counter */
- static atomic_t _refcnt = ATOMIC_INIT(0);
-+/* Refcnt value at which unlocking the cli_lock (it's not always 0) */
-+static int unlock_refcnt;
- static ddekit_lock_t cli_lock;
-
- /* Check whether IRQs are currently disabled.
-@@ -57,9 +59,6 @@ void fake_local_irq_restore(unsigned long flags)
- /* Store the current flags state.
- *
- * This is done by returning the current refcnt.
-- *
-- * XXX: Up to now, flags was always 0 at this point and
-- * I assume that this is always the case. Prove?
- */
- unsigned long __raw_local_save_flags(void)
- {
-@@ -82,7 +81,7 @@ void raw_local_irq_restore(unsigned long flags)
- {
- Assert(cli_lock != NULL);
- atomic_set(&_refcnt, flags);
-- if (flags == 0)
-+ if (flags == unlock_refcnt)
- ddekit_lock_unlock(&cli_lock);
- }
-
-@@ -95,7 +94,9 @@ void raw_local_irq_disable(void)
- if (cli_lock == NULL)
- ddekit_lock_init_unlocked(&cli_lock);
-
-- nested_lock(cli_lock);
-+ if (nested_lock(cli_lock))
-+ /* Tell the corresponding restorer to release cli_lock */
-+ unlock_refcnt = atomic_read(&_refcnt);
- atomic_inc(&_refcnt);
- }
-
diff --git a/public_hurd_boxen.mdwn b/public_hurd_boxen.mdwn
index c395da7a..6bce8ffb 100644
--- a/public_hurd_boxen.mdwn
+++ b/public_hurd_boxen.mdwn
@@ -28,7 +28,7 @@ image|hurd/running/qemu]].
"[[bddebian]]","goober","Debian GNU/Hurd","?"
"[[bddebian]]","grubber","Debian GNU/Hurd","Celeron 2.2 GHz; 554 MiB","Xen domU on [[zenhost]]; for experimental stuff"
"[[bddebian]]","[[zenhost]]","Debian GNU/Linux","Celeron 2.2 GHz","Xen dom0 for several hosts"
-"[[sceen]]","darnassus","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; public hurdbox"
+"[[sceen]]","darnassus","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; public Hurd box"
"[[sceen]]","ironforge","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; Debian buildd"
"[[sceen]]","exodar","Debian GNU/Hurd","Core i5 3.1 GHz, 1.8 GiB","KVM guest on shattrath; Debian porterbox"
"[[sceen]]","shattrath","Debian GNU/Linux","Core i5 3.1 GHz","KVM host"
@@ -45,14 +45,11 @@ addresses for requesting support with respect to software installations, etc.
For easy access, you should append your public SSH key(s)
to `~/.ssh/authorized_keys` on the remote machine.
-Also, add the [[!toggle id=bddebian_ssh_config text="following stanza (click
-here to toggle display)"]] to the `~/.ssh/config` file of the machine you're
-connecting from.
-
-[[!toggleable id=bddebian_ssh_config text="""
+Also, add the following stanza to the `~/.ssh/config` file of the machine
+you're connecting from.
# Stanza from <http://www.gnu.org/software/hurd/public_hurd_boxen.html>,
- # 2010-12-15.
+ # 2011-11-06.
Host blubber.bddebian.com blubber
HostName blubber.bddebian.com
@@ -84,13 +81,16 @@ connecting from.
Port 2260
Host blubber.bddebian.com blubber grubber.bddebian.com grubber snubber.bddebian.com snubber
- ProxyCommand ssh zenhost socat - TCP4:%h:%p
+ # Tunnel through zenhost.
+ ProxyCommand ssh zenhost exec socat - TCP4:%h:%p
Host *.bddebian.com blubber clubber flubber gnubber goober grubber snubber zenhost
+ # Don't worry about the IP address (dial-up connection).
CheckHostIP no
User [user name]
-
-The `CheckHostIP` statement is for not having to worry about the machines's IP
-addresses changing (due to being behind a dial-up connection).
-
-"""]]
+
+ Host darnassus.sceen.net darnassus
+ HostName darnassus.sceen.net
+
+ Host *.sceen.net darnassus
+ User [user name]
diff --git a/public_hurd_boxen/sceen.mdwn b/public_hurd_boxen/sceen.mdwn
new file mode 100644
index 00000000..25416857
--- /dev/null
+++ b/public_hurd_boxen/sceen.mdwn
@@ -0,0 +1,11 @@
+[[!meta copyright="Copyright © 2011 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
+<http://www.sceen.net/>
diff --git a/sceen.mdwn b/sceen.mdwn
deleted file mode 100644
index 1e4e17ce..00000000
--- a/sceen.mdwn
+++ /dev/null
@@ -1 +0,0 @@
-<http://www.sceen.net/>