summaryrefslogtreecommitdiff
path: root/community
diff options
context:
space:
mode:
authorThomas Schwinge <thomas@codesourcery.com>2018-05-25 17:40:49 +0200
committerThomas Schwinge <thomas@codesourcery.com>2018-05-25 17:40:49 +0200
commit127129b005d31d5553fb08cb28acfa43073abe4d (patch)
tree50a28c6f089c2de51c6ffca0b33c1047f35d78dd /community
parent7353d3c182491ca34dfdb8d028a6ce9ab320c4fc (diff)
parent55f878869fda47b7897e2d866aca2eac4d0c7168 (diff)
Merge commit '55f878869fda47b7897e2d866aca2eac4d0c7168'
As part of the merge, add copyright and licensing headers, and apply a few more minor changes.
Diffstat (limited to 'community')
-rw-r--r--community/gsoc/project_ideas/virtualization.mdwn10
1 files changed, 4 insertions, 6 deletions
diff --git a/community/gsoc/project_ideas/virtualization.mdwn b/community/gsoc/project_ideas/virtualization.mdwn
index 5dec02c6..6f9853ef 100644
--- a/community/gsoc/project_ideas/virtualization.mdwn
+++ b/community/gsoc/project_ideas/virtualization.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2008, 2009, 2016 Free Software Foundation,
+[[!meta copyright="Copyright © 2008, 2009, 2016, 2017 Free Software Foundation,
Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
@@ -76,9 +76,7 @@ solutions would be very helpful.
Possible mentors: Justus Winter (teythoon)
----
+See also: [[https://fosdem.org/2017/schedule/event/microkernel_virtualization_on_hurd/]]
-
-# 2016-02-14, Justus Winter
-
-I have a unprivileged-subhurds prototype that "just" needs finishing.
+Exercise: Currently, when issuing 'reboot' in Subhurds, 'boot' exits.
+Make it reboot the Subhurd instead. \ No newline at end of file