1# Always include these libraries through //src/rp2_common:*! 2# This ensures that you'll get the right headers for the MCU you're targeting. 3 4package( 5 default_visibility = [ 6 "//src/rp2040:__subpackages__", 7 "//src/rp2_common:__pkg__", 8 ], 9) 10 11cc_library( 12 name = "platform_defs", 13 hdrs = [ 14 "include/hardware/platform_defs.h", 15 ], 16 includes = ["include"], 17 target_compatible_with = ["//bazel/constraint:rp2040"], 18) 19 20cc_library( 21 name = "hardware_regs", 22 hdrs = [ 23 "include/hardware/regs/adc.h", 24 "include/hardware/regs/addressmap.h", 25 "include/hardware/regs/busctrl.h", 26 "include/hardware/regs/clocks.h", 27 "include/hardware/regs/dma.h", 28 "include/hardware/regs/dreq.h", 29 "include/hardware/regs/i2c.h", 30 "include/hardware/regs/intctrl.h", 31 "include/hardware/regs/io_bank0.h", 32 "include/hardware/regs/io_qspi.h", 33 "include/hardware/regs/m0plus.h", 34 "include/hardware/regs/pads_bank0.h", 35 "include/hardware/regs/pads_qspi.h", 36 "include/hardware/regs/pio.h", 37 "include/hardware/regs/pll.h", 38 "include/hardware/regs/psm.h", 39 "include/hardware/regs/pwm.h", 40 "include/hardware/regs/resets.h", 41 "include/hardware/regs/rosc.h", 42 "include/hardware/regs/rtc.h", 43 "include/hardware/regs/sio.h", 44 "include/hardware/regs/spi.h", 45 "include/hardware/regs/ssi.h", 46 "include/hardware/regs/syscfg.h", 47 "include/hardware/regs/sysinfo.h", 48 "include/hardware/regs/tbman.h", 49 "include/hardware/regs/timer.h", 50 "include/hardware/regs/uart.h", 51 "include/hardware/regs/usb.h", 52 "include/hardware/regs/usb_device_dpram.h", 53 "include/hardware/regs/vreg_and_chip_reset.h", 54 "include/hardware/regs/watchdog.h", 55 "include/hardware/regs/xip.h", 56 "include/hardware/regs/xosc.h", 57 ], 58 includes = ["include"], 59 target_compatible_with = ["//bazel/constraint:rp2040"], 60) 61