Hello,
I have recently made fiasco and the l4Re, and found that it can be a little tricky. It is a few Debian packages that can be easy to forget to install on your computer etc.
In order to make it easier to remember all details I developed the attached Makefile. I have tested it fairly well, and it makes it easy to download and make both l4Fiasco and the l4Re on a Debian or Ubuntu machine. It should be easy to modify to work with Red Hat as well.
Documentation: "make envesetup" will install all necessary packages except the "make" package. That has to be installed previously.
"make downloads" will download l4Fiasco, the l4Re, and l4Linux to your computer
"make kernelsetup" will create the directory fiasco_bld in your current directory and configure the build there.
"make resetup" will create the directory l4Re_bld in your current directory and configure the build of l4Re in that directory.
I have found the Makefile very convenient, and decided to post it to the l4-hackers mailing list in the case that it can help more people than me. I hope that you like it.
Best regards,
Sören Jonsson Sweden