I look deeper at all the syscall chain and I think that I now see all parts involved. There is only one function that I could not find referenced at any place: "syscall_dispatcher" that is in "src/system/kernel/syscall.cpp". It seems to me that it is some obsolete code of a previous way to handle syscalls. The same seems to apply to the generated "syscall_dispatcher.h". Is that correct ? Romain.