#!/bin/bash

#1 install toolchain
yay -S riscv64-linux-gnu-gcc tdc spike

#2 install proxy-kernel

git clone https://github.com/riscv-software-src/riscv-pk --depth=1
cd riscv-pk
mkdir build; cd build; mkdir dist
../configure --prefix=$(pwd)/dist --host=riscv64-linux-gnu
make -j`nproc`
make install
echo "export PATH=\$PATH:$(pwd)/dist/riscv64-linux-gnu/bin" >> ~/.zshrc
exec zsh

#3 compile
riscv64-linux-gnu-gcc -x c -S main.sy -o main.s
riscv64-linux-gnu-as main.s -o main.o
riscv64-linux-gnu-gcc -static main.o tools/sylib/libsysy_rv64.a -o main

#4 run
spike $(which pk) main