Signed-off-by: Claudio Scordino <clau...@evidence.eu.com>
---
 FAQ.md    | 8 ++++++++
 README.md | 2 +-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/FAQ.md b/FAQ.md
index 81985f8..f139fa2 100644
--- a/FAQ.md
+++ b/FAQ.md
@@ -48,6 +48,14 @@ Otherwise, use the ```msg_reply_timeout``` field in the cell 
config to specify
 the number of idle loops the root cell must wait for a reply before considering
 the cell as failing.
 
+**Q: Which OSs can be currently run in non-root cells?**
+
+A: The following OSs have been currently ported to Jailhouse:
+* [Linux](Documentation/non-root-linux.txt)
+* [FreeRTOS](https://github.com/siemens/freertos-cell)
+* [ERIKA3 
RTOS](http://www.erika-enterprise.com/wiki/index.php?title=ERIKA3_on_the_Jailhouse_hypervisor)
+
+
 Debugging
 ---------
 
diff --git a/README.md b/README.md
index 9dc9841..71ac911 100644
--- a/README.md
+++ b/README.md
@@ -170,7 +170,7 @@ Software requirements
     additional cell. This currently has to be pre-allocated during boot-up.
     On ARM this can be obtained by reducing the amount of memory seen by the
     kernel (through the `mem=` kernel boot parameter) or by modifying the
-    Device Tree.
+    Device Tree (i.e. the `reserved-memory` node).
 
 
 Build & Installation
-- 
2.7.4

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jailhouse-dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to