From: Jan Kiszka <jan.kiszka@siemens.com>
Date: Wed, 11 Mar 2015 07:31:19 +0000 (+0100)
Subject: README/configs: Improve Jetson TK1 documentation
X-Git-Url: https://rtime.felk.cvut.cz/gitweb/jailhouse.git/commitdiff_plain/2e13421eb39e4c16a6ed54b3c8ce856bac416941

README/configs: Improve Jetson TK1 documentation

Add the board to the list of supported targets and document the required
kernel command line extension.

Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
---

diff --git a/README.md b/README.md
index ea70d2f..f9ddbda 100644
--- a/README.md
+++ b/README.md
@@ -118,6 +118,8 @@ ARM architecture:
 
     - Banana Pi (see also [below](#setup-on-banana-pi-arm-board))
 
+    - NVIDIA Jetson TK1
+
     - ARM Versatile Express with Cortex-A15 or A7 cores
       (includes ARM Fast Model)
 
diff --git a/configs/jetson-tk1.c b/configs/jetson-tk1.c
index e230590..b3c69ef 100644
--- a/configs/jetson-tk1.c
+++ b/configs/jetson-tk1.c
@@ -11,6 +11,8 @@
  *
  * This work is licensed under the terms of the GNU GPL, version 2.  See
  * the COPYING file in the top-level directory.
+ *
+ * NOTE: Add "mem=1984M vmalloc=512M" to the kernel command line.
  */
 
 #include <linux/types.h>