/misc/tools/config/

• ../
• rtems-boot.ini