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

RTEMS trac trac at rtems.org
Thu Nov 22 13:43:43 UTC 2018


#3615: [Wiki]Update data on development tools and Find a new home for it.
----------------------------+--------------------
  Reporter:  shashvat jain  |      Owner:  (none)
      Type:  enhancement    |     Status:  new
  Priority:  high           |  Milestone:  5.1
 Component:  admin          |    Version:  5
  Severity:  normal         |   Keywords:  Wiki
Blocked By:                 |   Blocking:
----------------------------+--------------------
 https://devel.rtems.org/wiki/TBR/Review/ToolStatus
 This page's data is very old and needs to be updated so that it can be
 added to the wiki with a link to the home page name "Development Tools".

 All the data about the tools on the page must be updated to the latest
 used by RTEMS 5 , this new page can either be added to the page
 https://devel.rtems.org/wiki/Tools_Used or be made into a separate page
 altogether .
 Advice on the placement of the new page is needed.

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


More information about the bugs mailing list