summaryrefslogtreecommitdiff
path: root/microkernel/mach
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-04-29 13:47:07 +0200
committerThomas Schwinge <tschwinge@gnu.org>2008-04-29 13:47:07 +0200
commitbb16d8caa7015ad861799bcdc588483cc87ac1a8 (patch)
treee30244aa5675ebf5a29228f890c172a5470a6e77 /microkernel/mach
parent6cca2af51568b3bc364bc8f3db0753a378c2112c (diff)
Talk about active branches.
Diffstat (limited to 'microkernel/mach')
-rw-r--r--microkernel/mach/gnumach/projects.mdwn14
1 files changed, 14 insertions, 0 deletions
diff --git a/microkernel/mach/gnumach/projects.mdwn b/microkernel/mach/gnumach/projects.mdwn
index 2b2c4678..1c45d169 100644
--- a/microkernel/mach/gnumach/projects.mdwn
+++ b/microkernel/mach/gnumach/projects.mdwn
@@ -18,6 +18,17 @@ If you want to help with any of the task (thanks!), please send a mail to
*[[mailing_lists/bug-hurd]]* stating what task you wish to work on,
so that no duplicate efforts end up.
+# Active Branches
+
+ * `gnumach-1-branch` is the main branch.
+
+ * `gnumach-1-branch-Xen-branch` is a branch created by Samuel Thibault for
+ working on a [[ports/Xen]] port.
+
+ * `gnumach-1-branch-gdb-branch` is a branch created by Michael Casadevall for
+ working on [[GDB_stubs]].
+
+
# Task List
* [[Clean_up_the_code]]
@@ -83,6 +94,9 @@ so that no duplicate efforts end up.
* Implement support for GDB debugging via serial line and/or network. Maybe
this can be done together with the host-specific work above.
+ See [[GDB_stubs]].
+
+
# Wish List
* Interface for userspace non-critical drivers.