[docs] AWS documentation for TornadoVM linked
@@ -4,16 +4,20 @@ Tornado supports execution and prototyping with OpenCL compatible Intel and Xili
**IMPORTANT NOTE:** The minimum input size to run on the FPGA is 64 elements (which correspondonds internally with the local work size in OpenCL).
+This [document](16_AWS_FPGA.md) shows a full guideline for running TornadoVM on Amazon AWS F1 with Xilinx FPGAs.
+
+
### Pre-requisites
We have currently tested with an Intel Nallatech-A385 FPGA (Intel Arria 10 GT1150) and a Xilinx KCU1500 FPGA card.
-We have also tested it on the AWS EC2 F1 instance with xilinx_aws-vu9p-f1-04261818_dynamic_5_0 device.
+We have also tested it on the AWS EC2 F1 instance with `xilinx_aws-vu9p-f1-04261818_dynamic_5_0 device`.
* HLS Versions: Intel Quartus 17.1.0 Build 240, Xilinx SDAccel 2018.2, Xilinx SDAccel 2018.3
-* TornadoVM Version: > 0.4
+* TornadoVM Version: >= 0.6
* AWS AMI Version: 1.6.0
If the OpenCL ICD loaders are installed correclty, the output of the ```clinfo``` it should be the following:
+
```bash
$ clinfo
Number of platforms 1
