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.

Best