nothing after make for snapshot

Emanuel Berg emanuel.berg.8573 at
Thu Jan 30 19:12:27 CET 2014

I have not been able to install from


The toolchain test says everything is fine (though I
had to install dialog and doxygen from the repos as

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.

underground experts united:

More information about the l4-hackers mailing list