diff options
| -rw-r--r-- | microkernel/mach/message.mdwn | 3 | ||||
| -rw-r--r-- | open_issues/whole_system_debugging.mdwn | 19 |
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. |