Where is kernel entry code

Yuxin Ren ryx at gwmail.gwu.edu
Mon May 26 19:57:32 CEST 2014


Where is the code around kernel entry, including both l4Re and kernel?
What is the register format of system call in Fiasco?

Thanks a lot.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140526/7037549c/attachment.html>

More information about the l4-hackers mailing list