Hi Hackers

Wondering if anyone has a quick answer for this Make error ---------------------8><---------------------------------------------------------------------------- thread-ipc.o: In function `Thread::handle_page_fault_pager(unsigned int, unsigned int)': /home/chavin/TUDresden/l4/kernel/fiasco/src/kern/thread-ipc.cpp:786: undefined reference to `Thread::do_send(Thread *, L4_timeout, Sys_ipc_frame *)' thread-ipc.o: In function `sys_ipc_wrapper': /home/chavin/TUDresden/l4/kernel/fiasco/src/kern/thread-ipc.cpp:968: undefined reference to `Thread::do_send(Thread *, L4_timeout, Sys_ipc_frame *)' make[3]: *** [kernel.image] Error 1 ---------------------8><----------------------------------------------------------------------------

Happy to provide more diagnostics if required.

TIA David Denny