Re: Where is kernel entry code
Marcus Hähnel <[email protected]>
| Newsgroups | gmane.comp.micro-kernel.l4.devel |
|---|---|
| Organization | Technische Universität Dresden |
| Message-ID | <[email protected]> |
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 > <[email protected]> wrote: > >> Hi, >> >> On 26.05.2014, at 19:57, Yuxin Ren <[email protected]> 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 >>> [email protected] >>> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers [1] >> >> [email protected] - 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 > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers