90b20fffa4
Added support for hwinfo's hwinfo_get_device_id for the RPi Pico series. Signed-off-by: Yonatan Schachter <yonatan.schachter@gmail.com>
2 lines
19 B
Plaintext
2 lines
19 B
Plaintext
*(.time_critical*)
|