我正在运行我的第一个renode 演示。stm32f4_discovery.resc到目前为止一切顺利，我在 sysbus.uart4 窗口中看到了来自 Contiki 的公告，并在终端中看到了以太网数据包。
我怎样才能“推动”UserButton并“查看”是否UserLED打开？
stm32f4_discovery.repl:
UserButton: Miscellaneous.Button @ gpioPortA
-> gpioPortA@0
UserLED: Miscellaneous.LED @ gpioPortD
gpioPortD:
12 -> gpioPortD@0
到目前为止我发现的最接近的例子是I2C 温度。
demo-.elf 的来源可以在某处找到吗？
http://antmicro.com/projects/renode/stm32f4discovery.elf-s_445441-and.so.on ...