Where is kernel entry code

Marcus Hähnel mhaehnel at os.inf.tu-dresden.de
Mon May 26 22:04:49 CEST 2014


Hello,

Please look at the l4sys package in L4Re. You can find the details on 
the invocation of the kernel there. The actual call is made by jumping 
to the syscall page / KIP. The call is made from here:

pkg/l4sys/include/ARCH-x86/ipc-invoke.h
pkg/l4sys/include/ARCH-x86/L4API-l4f/ipc-l42-gcc3-nopic.h
pkg/l4sys/lib/src/ARCH-x86/syscalls_direct.S

see also the code in the kernel here: 
src/kern/ia32/32/sys_call_page-abs-ia32.cpp
and here: src/kern/ia32/32/sys_call_page-asm.S

- Marcus



On 2014-05-26 21:45, Yuxin Ren wrote:
> 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 [1]
>> 
>> matthias.lange at kernkonzept.com - Tel. 0351-41 888 614
>> 
>> Kernkonzept GmbH.  Sitz: Dresden.  Amtsgericht Dresden, HRB 31129.
>> Geschäftsführer: Dr.-Ing. Michael Hohmuth
> 
> 
> 
> Links:
> ------
> [1] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
> 
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers



More information about the l4-hackers mailing list