[okl4-developer] Wombat Linux User applications making Linux syscall

[jithu joseph]

Hi all,

I understand that when a  wombat user process compiled
independently[from the okl4/ iguana build system], makes a linux
system call
1.  a software interrupt is generated and L4 microkernel process it
2. it notifies the wombat syscall thread via IPC
3.  wombat syscall thread notifies the user process via IPC

Step 3 implies that some code is inserted [by the tool chain] which
processes this IPC. Can someone clarify / contradict this observation
?

So where does the IPC handling code gets inserted into the user process ?


Thanks and Regards
Jithu