+help:
+ @echo "Supported targets:"
+ @echo " all - Build all"
+ @echo " fiasco - Build Fiasco kernel"
+ @echo " fiasco-config - Reconfigure Fiasco kernel"
+ @echo " l4re - Build L4 runtime environment"
+ @echo " l4re-config - Reconfigure L4 runtime environment"
+ @echo " hello - Build image with hello entry for jailhouse"
+ @echo " benchmarks - (Re)Build ferret directory & prepare image with ferret scalar demo"
+ @echo " bench - (Re)Build benchmark directory & prepare image with benchmark for jailhouse"
+ @echo " bench-bare - (Re)Build benchmark directory & prepare image with benchmark for bare hardware launch"
+