# Download and compile l4re with:
wget https://l4re.org/download/snapshots/l4re-base-22.04.0.tar.xz 
tar xvf l4re-base-22.04.0.tar.xz
cd l4re-base-22.04.0/
#Notice: you might need to use "make CC=gcc-11 CXX=g++-11 setup"...
#This requires editing bin/setup.d/04-setup and to change line 409 into "    *gcc*|*g++*)" 
make setup
#Again, you might need "make CC=gcc-11 CXX=g++-11"
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-22.04.0/src/l4 O=$(pwd)/../l4re-base-22.04.0/obj/l4/amd64


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

qemu-system-x86_64 -kernel obj/l4/amd64/bin/amd64_gen/bootstrap -append "" -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 " -m 512 -serial stdio