Hi; When I see the file "init.h" in "l4/server/sigma0/src/",I meet a problem. Although I have know: #define L4_NORETURN __attribute__((noreturn)) but I don't understand the function definition: void init(struct multiboot_info *mbi, unsigned int flag, l4_kernel_info_t *info) L4_NORETURN; there why we can use "L4_NORETURN" and what is the effect of "L4_NORETURN".
Thank you!
______________________________________________________ Get Your Private, Free Email at http://www.hotmail.com
l4-hackers@os.inf.tu-dresden.de