A registered peripheral model runs in the engine: the firmware talks to it over the real bus and gets device-accurate responses.
Simulated device model
Built from the datasheet. Implemented from the part’s register documentation and exercised by automated tests. Nothing physical was ever placed next to it.
GPIO_GROUP
[object Object]
| Pin | Type | Role |
|---|---|---|
VCC | power_in | — |
GND | power_in | — |
DT | output | gpio |
SCK | input | gpio |
No manufacturer datasheet is indexed for this part yet, so none is linked here.