Thank you very much.

But I only found it in the kernel code.

How about it in the L4Re code?

I think there should be some instructions like sysenter in the user level code,

but I do not find where it is.

Thanks again.

On Mon, May 26, 2014 at 11:40 AM, Matthias Lange <matthias.lange@kernkonzept.com> wrote:

Hi,

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