Hi Casper, CAmkES interface doesn't support indefinite number of arguments unfortunately. Pointer is not supported as well(except string which has to be '\0' terminated). With regards to the docs, we have one in "tools/camkes/docs/index.md" which explains details of CAmkES in general. If you are looking for IDL4 references, please read the CAmkES IDL4 grammar in "tools/camkes/grammers/idl.bnf". It describes how CAmkES interface looks like in BNF. Cheers, Siwei On Sat, Oct 25, 2014 at 11:34:29AM +0200, Lukas Masek wrote: #Hello Everyone, #I'm trying to implement interface which will accept similar syntax like printf #method in c is accepting. # #syntax of function in c: # #void printer(int i,char* format,...){ #} # #However I have problem to create valid syntax in idl4 interface definition for #CAmkES. Can somebody help me to create valid syntax for procedure definition #used in interface? #procedure Test { # void printer(in int i,in string format,in ...); #}; # #Or is this approach even supported? # #Also If there is more complex reference guide for idl4 used by CAmkES which I #can use to find answers like this? # #Thank you for help and if question is stupid please accept my apologize I'm #just starting to play with this project. # #BR, # #Casper #_______________________________________________ #Devel mailing list #Devel@sel4.systems #https://sel4.systems/lists/listinfo/devel