Fiasco-UX build problem

Stefan K. sk852421 at mail.inf.tu-dresden.de
Thu Jan 27 17:29:22 CET 2005


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





More information about the l4-hackers mailing list