On 26.05.2014, at 19:57, Yuxin Ren <ryx@gwmail.gwu.edu> wrote:

Where is the code around kernel entry, including both l4Re and kernel?

Please have a look at the files named 'entry*' in the Fiasco src directory.

Matthias.

What is the register format of system call in Fiasco?

Thanks a lot.
Best
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

matthias.lange@kernkonzept.com - Tel. 0351-41 888 614

Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129.
Geschäftsführer: Dr.-Ing. Michael Hohmuth