UROBOROS install notes debian 10.7.0

uroboros-debian10.7-install.txt

# installation notes of UROBOROS poc on a debian-10.7.0-amd64

# ref.:
https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-wang-shuai.pdf
https://ieeexplore.ieee.org/document/7476646

sha256:
b317d87b0a3d5b568f48a92dcabfc4bc51fe58d9f67ca13b013f1b8329d1306d  debian-10.7.0-amd64-netinst.iso

# proceed installation with only the standard utilies and ssh server

su
apt install sudo

# add user to sudoers

sudo apt update && sudo apt install git build-essential opam m4 autotools-dev autoconf automake

git clone https://github.com/s3team/uroboros

opam init --comp 4.01.0 -j`getconf _NPROCESSORS_ONLN`
eval $(opam env)
opam depext conf-m4 # it will prompt to install depext first
opam install deriving.0.7
opam install ocamlfind.1.5.5
opam install parmap.1.0-rc6
opam install batteries.2.3.1
eval $(opam config env)
cd uroboros/src/