]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
projects / people / pauldu / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96d8c1b) | patch
mini-os: update README to reflect recent changes
authorJuergen Gross <jgross@suse.com>
Fri, 2 Sep 2016 08:56:47 +0000 (10:56 +0200)
committerWei Liu <wei.liu2@citrix.com>
Mon, 5 Sep 2016 11:16:34 +0000 (12:16 +0100)
commit2038d20ecae19f72327527800efd1bfefc86fa38
tree06c724a63bf1a07740a5dcf51cb8b55359a333c2tree
parent96d8c1b3869ac569a973feb4bb360961312a741bcommit | diff
mini-os: update README to reflect recent changes

Add some notes to README regarding configuration of Mini-OS via config
files.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
README diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.