------------------ Base addresses -- ------------------
Debug_Base : constant System.Address :=
System'To_Address (16#E000ED00#);
DWT_Base : constant System.Address :=
System'To_Address (16#E0001000#);
NVIC_Base : constant System.Address :=
System'To_Address (16#E000E100#);
SCB_Base : constant System.Address :=
System'To_Address (16#E000ED00#);
SysTick_Base : constant System.Address :=
System'To_Address (16#E000E010#);