Sebastien Bourdeauducq 4f0e40ca3c devices/core: service RPC requests		2014-07-07 19:14:23 +02:00
..
compiler	compiler/inline: return number -> function RPC map	2014-07-07 19:11:07 +02:00
devices	devices/core: service RPC requests	2014-07-07 19:14:23 +02:00
language	Make syscall an experiment function instead of a core method	2014-06-16 23:51:27 +02:00
sim	language/experiment: attach k_function_info in kernel decorator, do not use star notation for kernel args	2014-06-16 21:51:58 +02:00