diff options
Diffstat (limited to 'linkers/rtems.ini')
| -rw-r--r-- | linkers/rtems.ini | 21 |
1 files changed, 4 insertions, 17 deletions
diff --git a/linkers/rtems.ini b/linkers/rtems.ini index f2de480..f19bcfc 100644 --- a/linkers/rtems.ini +++ b/linkers/rtems.ini @@ -1,20 +1,7 @@ ; -; RTEMS API Trace Configurations +; RTEMS Trace Configurations ; -[rtems-api] -headers = rtems-api-headers -defines = rtems-api-defines -signatures = 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* +[includes] +include = rtems-api.ini +include = rtems-score.ini |