platformio.ini

; PlatformIO Project Configuration File
;
;   Build options: build flags, source filter, extra scripting
;   Upload options: custom port, speed and extra flags
;   Library options: dependencies, extra library storages
;
; Please visit documentation for the other options and examples
; http://docs.platformio.org/page/projectconf.html

[env:disco_f407vg]
platform = ststm32
framework = stm32cube
board = disco_f407vg

monitor_port = socket://localhost:1234
monitor_speed = 115200
upload_command = renode $UPLOAD_FLAGS
upload_flags = 
    -e include @./stm32f4_discovery_modified.resc
    -e machine StartGdbServer 3333 True
    -e logLevel 0
    -e start

debug_tool = custom
debug_port = localhost:3333
debug_server = renode
    -e include @./stm32f4_discovery_modified.resc
    -e machine StartGdbServer 3333 True

debug_extra_cmds = 
    monitor start