with System;

package Interfaces.RP2040 is

   ROM_Base : constant System.Address := 
     System'To_Address (16#00000000#);
   
   XIP_Base : constant System.Address :=
     System'To_Address (16#10000000#);

   XIP_No_Alloc_Base : constant System.Address :=
     System'To_Address (16#11000000#);

   XIP_No_Cache_Base : constant System.Address :=
     System'To_Address (16#12000000#);

   XIP_No_Alloc_No_Cache_Base : constant System.Address :=
     System'To_Address (16#13000000#);

   XIP_CTRL_Base : constant System.Address :=
     System'To_Address (16#14000000#);

   XIP_SRAM_Base : constant System.Address :=
     System'To_Address (16#15000000#);

   XIP_SRAM_End : constant System.Address :=
     System'To_Address (16#15004000#);

   XIP_SSI_Base : constant System.Address :=
     System'To_Address (16#18000000#);

   SRAM_Base : constant System.Address :=
     System'To_Address (16#20000000#);

   SRAM_Striped_Base : constant System.Address :=
     System'To_Address (16#20000000#);

   SRAM_Striped_End : constant System.Address :=
     System'To_Address (16#20040000#);

   SRAM_0_Base : constant System.Address :=
     System'To_Address (16#21000000#);

   SRAM_1_Base : constant System.Address :=
     System'To_Address (16#21010000#);

   SRAM_2_Base : constant System.Address :=
     System'To_Address (16#21020000#);

   SRAM_3_Base : constant System.Address :=
     System'To_Address (16#21030000#);

   SRAM_4_Base : constant System.Address :=
     System'To_Address (16#20040000#);

   SRAM_5_Base : constant System.Address :=
     System'To_Address (16#20041000#);

   SRAM_End : constant System.Address :=
     System'To_Address (16#20042000#);

   SYSINFO_Base : constant System.Address :=
     System'To_Address (16#40000000#);

   SYSCFG_Base : constant System.Address :=
     System'To_Address (16#40004000#);

   Clocks_Base : constant System.Address :=
     System'To_Address (16#40008000#);

   Resets_Base : constant System.Address :=
     System'To_Address (16#4000C000#);

   PSM_Base : constant System.Address :=
     System'To_Address (16#40010000#);

   IO_Bank_0_Base : constant System.Address :=
     System'To_Address (16#40014000#);

   IO_QSPI_Base : constant System.Address :=
     System'To_Address (16#40018000#);

   Pads_Bank_0_Base : constant System.Address :=
     System'To_Address (16#4001c000#);

   Pads_QSPI_Base : constant System.Address :=
     System'To_Address (16#40020000#);

   XOSC_Base : constant System.Address :=
     System'To_Address (16#40024000#);

   PLL_SYS_Base : constant System.Address :=
     System'To_Address (16#40028000#);

   PLL_USB_Base : constant System.Address :=
     System'To_Address (16#4002C000#);

   BUSCTRL_Base : constant System.Address :=
     System'To_Address (16#40030000#);

   UART_0_Base : constant System.Address :=
     System'To_Address (16#40034000#);

   UART_1_Base : constant System.Address :=
     System'To_Address (16#40038000#);

   SPI_0_Base : constant System.Address :=
     System'To_Address (16#4003C000#);

   SPI_1_Base : constant System.Address :=
     System'To_Address (16#40040000#);

   I2C_0_Base : constant System.Address :=
     System'To_Address (16#40044000#);

   I2C_1_Base : constant System.Address :=
     System'To_Address (16#40048000#);

   ADC_Base : constant System.Address :=
     System'To_Address (16#4004C000#);

   PWM_Base : constant System.Address :=
     System'To_Address (16#40050000#);

   Timer_Base : constant System.Address :=
     System'To_Address (16#40054000#);

   Watchdog_Base : constant System.Address :=
     System'To_Address (16#40058000#);

   RTC_Base : constant System.Address :=
     System'To_Address (16#4005C000#);

   ROSC_Base : constant System.Address :=
     System'To_Address (16#40060000#);

   VREG_And_Chip_Reset_Base : constant System.Address :=
     System'To_Address (16#40064000#);

   TBMAN_Base : constant System.Address :=
     System'To_Address (16#40068000#);

   DMA_Base : constant System.Address :=
     System'To_Address (16#50000000#);

   USBCTRL_Base : constant System.Address :=
     System'To_Address (16#50100000#);

   USBCTRL_DPRAM_Base : constant System.Address :=
     System'To_Address (16#50100000#);

   USBCTRL_REGS_Base : constant System.Address :=
     System'To_Address (16#50110000#);

   PIO_0_Base : constant System.Address :=
     System'To_Address (16#50200000#);

   PIO_1_Base : constant System.Address :=
     System'To_Address (16#50300000#);

   XIP_AUX_Base : constant System.Address :=
     System'To_Address (16#50400000#);

   SIO_Base : constant System.Address :=
     System'To_Address (16#D0000000#);

   PPB_Base : constant System.Address :=
     System'To_Address (16#E0000000#);

end Interfaces.RP2040;