/root/l4re-snapshot-2012111623/src/kernel/fiasco/src/kern/tb_entry_output.cc:506:31: error: uninitialized const ?.ipc_fmt?.[-fpermissive]
/root/l4re-snapshot-2012111623/src/kernel/fiasco/src/kern/tb_entry_output.cc:141:7: note: ?.onst class Tb_entry_ipc_fmt?.has no user-provided default constructor
/root/l4re-snapshot-2012111623/src/kernel/fiasco/src/kern/tb_entry_output.cc:507:35: error: uninitialized const ?.ipc_res_fmt?.[-fpermissive]
/root/l4re-snapshot-2012111623/src/kernel/fiasco/src/kern/tb_entry_output.cc:157:7: note: ?.onst class Tb_entry_ipc_res_fmt?.has no user-provided default constructor