split tests for rp2040 and rp2350

Author: JeremyGrosser

src/devices/RP2040/rp-device.ads

@@ -16,7 +16,6 @@ with RP.PIO;
 with RP.RTC;
 with RP.Interpolator;
 with RP.USB_Device;
-with RP.Timer.Interrupts;
 with System;
 
 package RP.Device is
@@ -52,7 +51,6 @@ package RP.Device is
    INTERP_1 : aliased RP.Interpolator.INTERP_Peripheral
       with Import, Address => INTERP1_Base;
 
-   Timer   : aliased RP.Timer.Interrupts.Delays;
    RTC     : aliased RP.RTC.RTC_Device;
    UDC     : aliased RP.USB_Device.USB_Device_Controller;
 

src/drivers/rp-pio.adb

@@ -17,7 +17,7 @@ package body RP.PIO is
       case This.Num is
          when 0 => Reset_Peripheral (Reset_PIO0);
          when 1 => Reset_Peripheral (Reset_PIO1);
-         when 2 => Reset_Peripheral (Reset_PIO2);
+         when 2 => raise Program_Error; --  TODO
       end case;
    end Enable;
 

tests/.gdbinit tests_rp2040/.gdbinittests/.gdbinit renamed to tests_rp2040/.gdbinit

@@ -0,0 +1,32 @@
+name = "test_rp2040_hal"
+description = "Unit tests for rp2040_hal"
+version = "2.3.0"
+
+authors = ["Jeremy Grosser"]
+maintainers = ["Jeremy Grosser <jeremy@synack.me>"]
+maintainers-logins = ["JeremyGrosser"]
+
+executables = ["test_rp2040_hal"]
+
+[[depends-on]]  # Added by alr
+rp2040_hal = "^3"
+aunit = "^24"
+gnatcov = "^22"
+embedded_rp2040 = ">=15"
+
+[[pins]]
+rp2040_hal = { path='..' }
+
+[gpr-set-externals]
+AUNIT_RUNTIME = "ravenscar"
+EMBEDDED_RP2040_BUILD = "Debug"
+
+[build-profiles]
+"*" = "validation"
+cortex_m = "release"
+usb_embedded = "release"
+atomic = "release"
+aunit = "release"
+
+[configuration.values]
+embedded_rp2040.Board = "rpi_pico"