我正在运行我的第一个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...
Renode中的STM32F4 Discovery平台描述存在问题，现已在master上修复。
要切换按钮，应使用Monitor CLI。列出所有可用的方法：
(STM32F4_Discovery) gpioPortA.UserButton
The following methods are available:
[...]
- Void Press ()
- Void PressAndRelease ()
- Void Release ()
[...]
- Void Toggle ()
[...]
您可以使用这些按钮与按钮进行交互：
(STM32F4_Discovery) gpioPortA.UserButton Toggle
LED状态会改变，但不太容易发现。您可以手动检查状态：
(STM32F4_Discovery) gpioPortA.externalLed State
False (or True)
您还可以在记录器窗口中跟踪对LED的访问。要启用此功能，请运行：
(STM32F4_Discovery) logLevel -1 gpioPortA.externalLed
(STM32F4_Discovery) logLevel 3 # this is not required, but will hush other logs
不幸的是，这些来源不可用——这是一个非常古老的演示，我们当时没有跟踪它们。