where is the kernel entry?

Bob <[email protected]> Mon, 1 Sep 2008 15:10:40 +0800 (CST)
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general,gmane.spam.detected
Message-ID <15682408.281401220253040723.JavaMail.coremail@bj163app127.163.com>
Hi , all 
        Now, i finished read the kickstart.cc . I found that  in function loader() will launch_kernel(mbi->mods[0].entry).
I know it's the kernel's entry. But where is it ? Is function startup_system() in file /gule/v4_ia32/init.cc?

       Thank you all!
       Bob.