acceleratedtech / ssith-aws-fpga

Host software for running SSITH processors on AWS F1 FPGAs

SSITH AWS FPGA

This repository contains the host software for controlling a RISC-V processor running on Amazon AWS F1 FPGA.

Setting up development tools

sudo apt-get update
sudo apt-get install cmake device-tree-compiler build-essential libssl-dev libcurl4-openssl-dev libsdl-dev libelf-dev

Setting up FPGA

Build FPGA utilities and set them up to run as root:

cd aws-fpga
. sdk_setup.sh
sudo chmod u+s /usr/local/bin/fpga-local-cmd

Install connectal and load drivers

Install from packages:

sudo add-apt-repository -y ppa:jamey-hicks/connectal
sudo apt-get update
sudo apt-get install connectal
fpga-clear-local-image -S 0
modprobe portalmem
modprobe pcieportal

Install from source:

(cd ssith-aws-fpga/hw/connectal/drivers/pcieportal; make)
(cd ssith-aws-fpga/hw/connectal/drivers/portalmem; make)
sudo cp ssith-aws-fpga/hw/connectal/etc/modules-load.d/connectal.conf /etc/modules-load.d
sudo cp ssith-aws-fpga/hw/connectal/etc/udev/rules.d/99-pcieportal.rules /etc/udev/rules.d/99-pcieportal.rules
fpga-clear-local-image -S 0
sudo insmod ssith-aws-fpga/hw/connectal/drivers/pcieportal/pcieportal.ko
sudo insmod ssith-aws-fpga/hw/connectal/drivers/portalmem/portalmem.ko

Note: You have to recompile each time the kernel is updated.

Building and running ssith_aws_fpga on FPGA

NOTE For CHERI, you must use src/dts/devicetree-cheri.dts in place of src/dts/devicetree.dts.

mkdir build
cd build
cmake -DFPGA=1 ..
make
cd ..
dtc -I dts -O dtb -o build/devicetree.dtb src/dts/devicetree.dts
fpga-load-local-image -S 0 -I agfi-01019fdac375031e7
./build/ssith_aws_fpga --dtb build/devicetree.dtb  --elf foo.elf

Building ssith_aws_fpga for simulation

NOTE For CHERI, you must use src/dts/devicetree-cheri.dts in place of src/dts/devicetree.dts.

mkdir build
cd build
cmake ..
make
cd ..
dtc -I dts -O dtb -o build/devicetree.dtb src/dts/devicetree.dts
ln -s ../hw/src_AWS_P2/verilator/bin/vlsim build
ln -s ../hw/src_AWS_P2/verilator/bin/libconnectal-sim.so build
LD_LIBRARY_PATH=./build ./build/ssith_aws_fpga --dtb build/devicetree.dtb  --elf foo.elf