1using "platforms/cpus/stm32h753.repl"
2
3GreenLED: Miscellaneous.LED @ gpioPortB 0
4
5YellowLED: Miscellaneous.LED @ gpioPortE 1
6
7RedLED: Miscellaneous.LED @ gpioPortB 14
8
9UserButton1: Miscellaneous.Button @ gpioPortC 13
10    -> gpioPortC@13
11
12gpioPortB:
13    0 -> GreenLED@0
14    14 -> RedLED@0
15
16gpioPortE:
17    1 -> YellowLED@0
18
19phy: Network.EthernetPhysicalLayer @ ethernet 0
20    BasicControl: 0x3100
21    BasicStatus: 0x782D
22    Id1: 0x0007
23    Id2: 0xC130
24    AutoNegotiationAdvertisement: 0x01E1
25    AutoNegotiationLinkPartnerBasePageAbility: 0x0001
26    AutoNegotiationExpansion: 0x0064
27    AutoNegotiationNextPageTransmit: 0x2001
28