# Download and compile l4re with:
wget https://l4re.org/download/snapshots/l4re-base-21.04.0.tar.xz
tar xvf l4re-base-21.04.0.tar.xz
cd l4re-base-21.04.0/
make setup
make -j7
cd ..

# Download and compile the test with:
wget http://retis.santannapisa.it/luca/AdvancedOS/Old-19/l4-POSIX_test.tgz
tar xvf l4-POSIX_test.tgz
cd POSIX_Test
make L4DIR=$(pwd)/../l4re-base-21.04.0/src/l4 O=$(pwd)/../l4re-base-21.04.0/obj/l4/amd64


# Test with:
cd ../l4re-base-21.04.0

qemu-system-x86_64 -nographic -kernel obj/l4/amd64/bin/amd64_gen/bootstrap -append bootstrap -initrd "obj/fiasco/amd64/fiasco -serial_esc,obj/l4/amd64/bin/amd64_gen/l4f/sigma0,obj/l4/amd64/bin/amd64_gen/l4f/moe --init=rom/posix_test,obj/l4/amd64/bin/amd64_gen/l4f/l4re,obj/l4/amd64/bin/amd64_gen/l4f/posix_test"