I have a problem in building l4/fiasco for arm. I'm using ubuntu 11.10 64-bit and want to build l4/fiasco for arm9. For cross compiler, I'm using Sourcery_G++_Lite. For the snapshot, I'm using current snapshot l4re-snapshot-2014022818. Then, when I tried to build the l4/fiasco, I got the error message shown in [1.error message]. Have you ever built l4/fiasco for arm9 over ubuntu 11.10 64-bit? I think this is just a compiler problem. If you know about this problem, please let me know to solve this problem.

make[3]: Entering directory `/home/l4re-arm/obj/fiasco/arm-mp-rv-pb11mp'
  ... Generating version information
  ... Making kip.o
  ... Making kip-debug.o
  ... Making kip-arm.o
  ... Making l4_types.o
  ... Making l4_types-debug.o
  ... Making l4_fpage.o
  ... Making l4_msg_item.o
  ... Making l4_buf_desc.o
  ... Making l4_error.o
  ==> Archiving into libabi.a
  ... Making kernel.arm.lds
  ... Making crt0.o
  ... Making bootstrap.o
  ... Making bootstrap-arm-realview.o
  ==> Linking bootstrap.fiasco.o
  ... Making kernel_panic.o
  ... Making libc_backend_lock.o
  ... Making cpu_mask.o
  ... Making rcupdate.o
  ... Making kobject_mapdb.o
In file included from /home/l4re-arm/src/kernel/fiasco/src/kern/context.cpp:22,
                 from /home/l4re-arm/src/kernel/fiasco/src/kern/switch_lock.cpp:85,
                 from /home/l4re-arm/src/kernel/fiasco/src/kern/helping_lock.cpp:4,
                 from /home/l4re-arm/src/kernel/fiasco/src/kern/lock.cpp:3,
                 from /home/l4re-arm/src/kernel/fiasco/src/kern/kobject.cpp:3,
                 from /home/l4re-arm/src/kernel/fiasco/src/kern/kobject_mapdb.cpp:5,
                 from auto/kobject_mapdb.cc:3:
/home/l4re-arm/src/kernel/fiasco/src/lib/libk/cxx/function:34: error: 'cxx::functor<Res(Args ...)>::functor(cxx::functor<Res(Args ...)>&&)' cannot be defaulted
make[3]: *** [kobject_mapdb.o] Error 1
make[3]: Leaving directory `/home/l4re-arm/obj/fiasco/arm-mp-rv-pb11mp'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/home/l4re-arm/obj/fiasco/arm-mp-rv-pb11mp'