Skip to content

Add new Device_Id package body for F7x, which uses a different address#470

Merged
jklmnn merged 4 commits into
AdaCore:masterfrom
pat-rogers:f7_device_ids_clean
May 11, 2026
Merged

Add new Device_Id package body for F7x, which uses a different address#470
jklmnn merged 4 commits into
AdaCore:masterfrom
pat-rogers:f7_device_ids_clean

Commits

Commits on May 7, 2026