On Tue, 29 Jul 2003 22:06:38 +0100 David Denny (DD) wrote:
DD> thread-ipc.o: In function `Thread::handle_page_fault_pager(unsigned int, unsigned int)': DD> /home/chavin/TUDresden/l4/kernel/fiasco/src/kern/thread-ipc.cpp:786: undefined reference to `Thread::do_send(Thread *, L4_timeout, Sys_ipc_frame *)
DD> Happy to provide more diagnostics if required.
Hi,
I would appreciate it if you could send me your globalconfig.out file from the build directory and tell me which compiler version you are using.
-Udo.