]> xenbits.xensource.com Git - rumpuser-xen.git/commitdiff
projects / rumpuser-xen.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1eb3666 f5247f8)
Merge pull request #10 from mato/wip-xenos
authorMartin Lucina <martin@lucina.net>
Tue, 11 Nov 2014 14:47:08 +0000 (15:47 +0100)
committerMartin Lucina <martin@lucina.net>
Tue, 11 Nov 2014 14:47:08 +0000 (15:47 +0100)
Clean up Mini-OS namespace


Trivial merge
Obsolete rumpuser-xen tree, now replaced by rumprun (see osstest/)