[RTEMS Project] #3615: [Wiki]Update data on development tools and Find a new home for it.

RTEMS trac trac at rtems.org
Fri Dec 13 15:31:06 UTC 2019


#3615: [Wiki]Update data on development tools and Find a new home for it.
---------------------------+--------------------------
 Reporter:  shashvat jain  |       Owner:  Chris Johns
     Type:  enhancement    |      Status:  assigned
 Priority:  high           |   Milestone:  5.1
Component:  admin          |     Version:  5
 Severity:  normal         |  Resolution:
 Keywords:  Wiki           |  Blocked By:
 Blocking:                 |
---------------------------+--------------------------

Comment (by Joel Sherrill):

 I just removed ​https://devel.rtems.org/wiki/TBR/Review/ToolStatus since
 it had very out of date information.

 https://devel.rtems.org/wiki/Tools_Used is a modest version of what we
 want in the Software Engineering Guide for documenting supporting tools.

--
Ticket URL: <http://devel.rtems.org/ticket/3615#comment:9>
RTEMS Project <http://www.rtems.org/>
RTEMS Project


More information about the bugs mailing list