mirror of
https://git.rtems.org/rtems-tools/
synced 2025-06-04 21:23:36 +08:00
8 lines
120 B
INI
8 lines
120 B
INI
;
|
|
; RTEMS Trace Configurations
|
|
;
|
|
[includes]
|
|
include = rtems-api.ini
|
|
include = rtems-posix.ini
|
|
include = rtems-score.ini
|