I was endeavoring to follow http://wiki.tudos.org/Quickstart.

Below's the tail of the build log.

Thanks for any suggestions.

L4 source directory: /home/evt/wrk/L4/TUD/forest1/src/l4

PWD=/home/evt/wrk/L4/TUD/forest1/src/l4 make -C /home/evt/wrk/L4/TUD/forest1/src/l4 -f /home/evt/wrk/L4/TUD/forest1/src/l4linux/arch/l4/Makefile.l4conf O=/home/evt/wrk/L4/TUD/forest1/src/l4/out L4X_LOOP_CHECK=1 OUTPUT=/home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makeconf.l4conf

  GEN     /home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makeconf.l4conf

  GEN     /home/evt/wrk/L4/TUD/forest1/src/l4linux/out/Makefile

scripts/kconfig/conf --silentoldconfig arch/l4/Kconfig

Getting required compilation flags failed.

L4OBJ: /home/evt/wrk/L4/TUD/forest1/src/l4/out

L4_REQUIRED_MODS: stdlibs log l4re_c-util libio shmc rtc

/home/evt/wrk/L4/TUD/forest1/src/l4linux/arch/l4/Makefile:301: *** Aborting..