Fiasco-UX build problem

Adam Lackorzynski adam at
Thu Jan 27 17:56:21 CET 2005

On Thu Jan 27, 2005 at 17:29:22 +0100, Stefan K. wrote:
> exactly, it looks similar, but it's missing the noinline argument:
> __attribute__ (()) __attribute__ ((noreturn))
> void
> Kernel_thread::run()
> {

Strange. At the top of the .i file, there should be something like this:

#define FIASCO_NOINLINE __attribute__ ((noinline))


And probably show the output of "grep noinline kernel_thread.i".

Adam                 adam at

More information about the l4-hackers mailing list