Where is kernel entry code

[Matthias Lange]

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 - 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/1d54dae8/attachment.html>