Am Donnerstag, 27. Januar 2005 16:49 schrieb Adam Lackorzynski:
I guess some preprocessing got it wrong. Go to the build directory and do "make kernel_thread.i" and then look at kernel_thread.i at the place where the error comes from. For me, it looks something like this:
__attribute__ ((noinline)) __attribute__ ((noreturn)) void Kernel_thread::run() { free_initcall_section();
Context::init_switch_time();
Should be similar/equal for you.
thank you for your prompt answer! exactly, it looks similar, but it's missing the noinline argument: __attribute__ (()) __attribute__ ((noreturn)) void Kernel_thread::run() { free_initcall_section(); Context::init_switch_time(); init_workload(); while (running) idle(); puts ("\nExiting, wait..."); ready_dequeue(); sched()->set_prio(255); ready_enqueue(); kill_all(); Helping_lock::threading_system_active = false; exit (0); } so how can i fix the problem? greetings stefan
Adam
-- PGP-Schlüssel zu finden unter: http://www.inf.tu-dresden.de/~sk852421