Where is kernel entry code

[Yuxin Ren]

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 at kernkonzept.com> wrote:

> Hi,
>
> On 26.05.2014, at 19:57, Yuxin Ren <ryx at 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 at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
>
> matthias.lange at kernkonzept.com <michael.hohmuth at kernkonzept.com> - Tel.
> 0351-41 888 614
>
> Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
> Geschäftsführer: Dr.-Ing. Michael Hohmuth
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140526/bb2f6975/attachment.html>