summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2012-11-30 09:01:51 +0100
committerThomas Schwinge <thomas@codesourcery.com>2012-11-30 09:01:51 +0100
commit646f30e7ca95e161c87e0bce9d40a7e7b9204e4b (patch)
tree56231278908c28b074acf8d9bc0f86a0619d2f14
parent111a12ba9002c0e69fb7976880ffced769622688 (diff)
open_issues/whole_system_debugging: New.
-rw-r--r--microkernel/mach/message.mdwn3
-rw-r--r--open_issues/whole_system_debugging.mdwn19
2 files changed, 21 insertions, 1 deletions
diff --git a/microkernel/mach/message.mdwn b/microkernel/mach/message.mdwn
index 6c6cfb1e..4c49af17 100644
--- a/microkernel/mach/message.mdwn
+++ b/microkernel/mach/message.mdwn
@@ -12,7 +12,8 @@ License|/fdl]]."]]"""]]
*Messages* are collections of typed data, with a defined layout, including an
[[ID|msgh_id]].
-They are used for [[IPC]], and are sent to and received from [[port]]s.
+They are used for [[IPC]], and are sent to and received from [[port]]s using
+the `mach_msg` interface.
These messages are not only opaque data. They can also contain [[port
rights|port]] to be passed to another [[task]]. Port rights are either
diff --git a/open_issues/whole_system_debugging.mdwn b/open_issues/whole_system_debugging.mdwn
new file mode 100644
index 00000000..b438c5cf
--- /dev/null
+++ b/open_issues/whole_system_debugging.mdwn
@@ -0,0 +1,19 @@
+[[!meta copyright="Copyright © 2012 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]]."]]"""]]
+
+[[!tag open_issue_gdb open_issue_gnumach]]
+
+Given our distributed system structure, it'd be immensely useful then when a
+[[RPC]] to another entitiy is made, [[GDB]] followed suit.
+
+[[GDB]] does have some *multi-process* debugging infrastructure which should
+basically be usable for this.
+
+[[`mach_msg`|microkernel/mach/message]] is the *great barrier*, of course.