1:name: Tock on STM32F4 2:description: This script runs the Tock cxx_hello sample on STM32F4 Discovery. 3 4using sysbus 5$name?="STM32F4_Discovery" 6mach create $name 7machine LoadPlatformDescription @platforms/boards/stm32f4_discovery-kit.repl 8 9cpu PerformanceInMips 125 10 11$bin?=@https://dl.antmicro.com/projects/renode/stm32f412gdiscovery--tock_kernel.elf-s_3392340-6da12cfcd5c4180b60ce7bf2ad32f019c9e8216e 12$app?=@https://dl.antmicro.com/projects/renode/cortex_m4--tock-cxx_hello.tbf-s_16384-2bf6dfc3ffd2894bea56341901beec1e903c3135 13 14showAnalyzer sysbus.usart2 15 16macro reset 17""" 18 sysbus LoadELF $bin 19 sysbus LoadBinary $app 0x08030000 20""" 21 22runMacro $reset 23