Rp2040_Hal_Config

Entities

Alire_Host_Arch : constant String := "x86_64";

Alire_Host_Distro : constant String := "debian";

Alire_Host_OS : constant String := "linux";

Build_Profile : constant Build_Profile_Kind := development;

type Build_Profile_Kind is (release, validation, development);

Crate_Name : constant String := "rp2040_hal";

Crate_Version : constant String := "2.1.0";

Flash_Chip : constant Flash_Chip_Kind := w25qxx;

type Flash_Chip_Kind is (w25qxx, generic_qspi, generic_03);

Interrupts : constant Interrupts_Kind := hal;

type Interrupts_Kind is (hal, bb_runtimes);

Use_Startup : constant Boolean := True;