!AWS-F1でPlayFrameworkを使う
::準備
 sudo yum install java-11-openjdk-deve
 wget https://sbt-downloads.cdnedge.bluemix.net/releases/v1.3.2/sbt-1.3.2.zip
 unzip sbt-1.3.2.zip
 sudo mv sbt /usr/local/
 sudo ln -s /usr/local/sbt/bin/sbt /usr/local/bin/
セキュリティグループで9000へのinboudを許可する

::axonerve_utilなら
 source $AWS_FPGA_REPO_DIR/sdaccel_setup.sh
 git https://github.com/miyo/axonerve_util.git
 cd axonerve_util/wordcount/web-frontend
 pushd native; make; popd
 sbt compile
 export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:./native/
 sbt run
ブラウザから http://AWS-F1のIPアドレス/ にアクセスできればOK．

:: uuid_parseがない，といわれたら
 [root@ip-172-31-62-53 software]# java -Djava.library.path=. AxonerveWordcount ../bin/binary_container_1.awsxclbin 
 initialize Axonerve Wordcount
 xclProbe found 1 FPGA slots with xocl driver running
 Found Platform
 Platform Name: Xilinx
 INFO: Importing ../bin/binary_container_1.awsxclbin
 Loading: '../bin/binary_container_1.awsxclbin'
 java: symbol lookup error: /opt/xilinx/xrt/lib/libxrt_aws.so: undefined symbol: uuid_parse
とかいわれたら，
 curl -s https://aws-fpga-developer-ami.s3.amazonaws.com/1.6.0/Patches/XRT_2018_3_RC5/xrt_201830.2.1.0_7.6.1810-xrt.rpm -o xrt.rpm
 curl -s https://aws-fpga-developer-ami.s3.amazonaws.com/1.6.0/Patches/XRT_2018_3_RC5/xrt_201830.2.1.0_7.6.1810-aws.rpm -o xrt-aws.rpm  
 sudo yum reinstall xrt*.rpm -y
とかする．
cf. https://github.com/aws/aws-fpga/blob/master/SDAccel/docs/XRT_installation_instructions.md
cf. https://forums.aws.amazon.com/thread.jspa?messageID=910434