Hello L4 Hackers,
i am doing a project that involve L4 and Pandaboard Rev.B1
So far, i am successful to boot Fiasco with L4Re in it. And now, i'm moving on to boot the L4Linux to Pandaboard

I'm following the tuts from wiki tudos quickstart. But when i'm try to make the L4Linux, it gave me an error like this :

===============================================

  GEN     /media/chiqiVstorage/l4resnap/src/l4linux/TArev2/Makefile

  CHK     include/generated/uapi/linux/version.h

  CC      scripts/mod/empty.o

  HOSTCC  scripts/mod/mk_elfconfig

gcc: error: unrecognized argument in option ‘-mabi=aapcs-linux’

gcc: note: valid arguments to ‘-mabi=’ are: ms sysv

  CC      scripts/mod/devicetable-offsets.s

gcc: error: unrecognized command line option ‘-mno-thumb-interwork’

make[3]: *** [scripts/mod/empty.o] Error 1

make[3]: *** Waiting for unfinished jobs....

gcc: error: unrecognized argument in option ‘-mabi=aapcs-linux’

gcc: note: valid arguments to ‘-mabi=’ are: ms sysv

gcc: error: unrecognized command line option ‘-mno-thumb-interwork’

make[3]: *** [scripts/mod/devicetable-offsets.s] Error 1

make[2]: *** [scripts/mod] Error 2

make[1]: *** [scripts] Error 2

make[1]: *** Waiting for unfinished jobs....

make: *** [sub-make] Error 2

================================================================

Is this error caused by my GCC ? i am using GCC from the default repository of ubuntu 13.10

And also, when i'm try to make mrproper it gave me error :

ERROR:

    Cannot determine L4 source directory

    Please properly set the path to your L4 build directory

    in the configuration menu.

But i'm sure i set in the wrong path