Good morning!! Somebody know how to edit the platform.txt in the IDEARDUINO to add a board with a microcontroller ARM in this platform.

platform.txt

system March 23, 2017, 2:15pm 2

(deleted)

Topic		Replies	Views
3rd party boards Microcontrollers	3	698	May 6, 2021
Question about platform.local.txt Libraries	4	22790	May 6, 2021
problems about add a new board to arduino ide IDE 1.x	4	551	May 5, 2021
Changing the boards.txt file in the Aduino IDE installation - error IDE 1.x	4	2435	May 5, 2021
Changes to boards.txt or platform.txt, not picked up until IDE 2.x	1	428	November 21, 2023