diff --git a/runtime/adainclude/interfaces-rp2040.ads b/runtime/adainclude/interfaces-rp2040.ads
new file mode 100644
index 0000000..01ced5e
--- /dev/null
+++ b/runtime/adainclude/interfaces-rp2040.ads
@@ -0,0 +1,170 @@
+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;