I have not been able to install from
l4re-snapshot-2013123021.tar.bz2
The toolchain test says everything is fine (though I had to install dialog and doxygen from the repos as well).
With 'make setup' I get the dialog, and I can pick between x86-32 (ia32), UX-32, or amd64/x86_64 (or arm, though I didn't test that).
I have a 64-bit CPU but it runs a 32-bit Debian Linux.
What happens next is whatever I pick, I get l4/, l4linux/, and fiasco/ in obj/.
It says I should set the PATH to include bin/, but except for the arm stuff, there is only setup.d/04-setup there to execute (is that it?). Anyway, I did that, and on 'make' it says:
make[1]: Entering directory `/home/incal/core/l4re-snapshot-2013123021' =============== Building all Fiasco configurations ============ =============== Building all L4Re configurations ============ =============== Building all L4Linux configurations =========== =============== Building Image ================================ =============== Build done ==================================== make[1]: Leaving directory `/home/incal/core/l4re-snapshot-2013123021'
However, as there is nothing in those directories, nothing happens.