execute process of L4:pistachio

[Zhou Ya Jin]

Hi everyone, I compiled L4:pistachio under debian and run it successfully. Now I want to trace how the kernel be excuted by browsing its sourcecode. We konow that the first program after grub booting the ssytem is kickstart and I browsed the sourcecode in directory "user\util\kickstart". But I cant not find where is the main function. Can anyone help me and describe the execute process of L4:pistachio mainly? Thanks.


Yours Sincerely,
Zhou Ya Jin

My Person Website:
http://mail.ustc.edu.cn/~ncs