diff options
| -rw-r--r-- | public_hurd_boxen/xen_handling.mdwn | 4 | ||||
| -rw-r--r-- | tag/open_issue_xen.mdwn | 19 |
2 files changed, 23 insertions, 0 deletions
diff --git a/public_hurd_boxen/xen_handling.mdwn b/public_hurd_boxen/xen_handling.mdwn index e0874b37..47d92c43 100644 --- a/public_hurd_boxen/xen_handling.mdwn +++ b/public_hurd_boxen/xen_handling.mdwn @@ -22,6 +22,10 @@ Forcefully killing a domU (that has crashed or is busy-looping, etc.): As for (re-)starting a domU, read below in *domU consoles*. +Using `xm shutdown [domU]` to gracefully shut down a running domU does not yet +work -- this is not yet implemented in the [[Xen port of GNU +Mach|microkernel/mach/gnumach/ports/xen]] ([[!taglink open_issue_xen]]). + # domU consoles To avoid any complications with people trying to use the same console at the diff --git a/tag/open_issue_xen.mdwn b/tag/open_issue_xen.mdwn new file mode 100644 index 00000000..5ce9301c --- /dev/null +++ b/tag/open_issue_xen.mdwn @@ -0,0 +1,19 @@ +[[!meta copyright="Copyright © 2009 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]]."]]"""]] + +[[!meta title=open_issue_xen]] + +[[!map pages="tagged(open_issue_xen) and !open_issues and !*/discussion" +show=title]] + +[[!inline +pages="tagged(open_issue_xen) and !open_issues and !*/discussion" +show=0 +feeds=no]] |