From f9ccfe3a04ed0beb2659d5add3c90032c523c5d3 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 19 Jan 2016 11:04:14 +0100
Subject: [PATCH] tz_vmm usb_armory: document guest login data

The login data is otherwise only indirectly documented through the command that configures it in the rootfs tutorial [1].

[1] https://github.com/inversepath/usbarmory/wiki/Preparing-a-bootable-microSD-image#root-file-system

Fixes #1856
---
 repos/os/run/tz_vmm.run | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/repos/os/run/tz_vmm.run b/repos/os/run/tz_vmm.run
index f229dc625..8dab4d2a3 100644
--- a/repos/os/run/tz_vmm.run
+++ b/repos/os/run/tz_vmm.run
@@ -65,6 +65,10 @@
 #   ! ext2load mmc 0:1 0x74000000 /uImage
 #   ! bootm 0x74000000
 #
+# :Linux login:
+#
+#   The login and password of the Linux guest are both "usbarmory"
+#
 # :Communicate with Linux via CDC Ethernet:
 #
 #   [https://github.com/inversepath/usbarmory/wiki/Host-communication#cdc-ethernet]