diff options
Diffstat (limited to 'rtems.ini')
| -rw-r--r-- | rtems.ini | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/rtems.ini b/rtems.ini new file mode 100644 index 0000000..cd59f72 --- /dev/null +++ b/rtems.ini @@ -0,0 +1,20 @@ +; +; RTEMS API Trace Configurations +; +[rtems-api] +header = rtems-api-headers +define = rtems-api-defines +signature = rtems-api-signatures + +[rtems-api-headers] +header = "#include <rtems.h>" + +[rtems-api-defines] +; Currently empty + +[rtems-api-task] +trace = rtems_task_create + +[rtems-api-signatures] +rtems_task_create = rtems_status_code, rtems_name, rtems_task_priority, size_t, rtems_mode, rtems_attribute, rtems_id* + |