| # Always include these libraries through //src/rp2_common/pico_platform:*! |
| # This ensures that you'll get the right headers for the MCU you're targeting. |
| |
| package(default_visibility = ["//src/rp2_common/pico_platform:__pkg__"]) |
| |
| cc_library( |
| name = "platform_defs", |
| hdrs = [ |
| "include/hardware/platform_defs.h", |
| ], |
| includes = ["include"], |
| ) |
| |
| cc_library( |
| name = "hardware_regs", |
| hdrs = [ |
| "include/hardware/regs/adc.h", |
| "include/hardware/regs/addressmap.h", |
| "include/hardware/regs/busctrl.h", |
| "include/hardware/regs/clocks.h", |
| "include/hardware/regs/dma.h", |
| "include/hardware/regs/dreq.h", |
| "include/hardware/regs/i2c.h", |
| "include/hardware/regs/intctrl.h", |
| "include/hardware/regs/io_bank0.h", |
| "include/hardware/regs/io_qspi.h", |
| "include/hardware/regs/m0plus.h", |
| "include/hardware/regs/pads_bank0.h", |
| "include/hardware/regs/pads_qspi.h", |
| "include/hardware/regs/pio.h", |
| "include/hardware/regs/pll.h", |
| "include/hardware/regs/psm.h", |
| "include/hardware/regs/pwm.h", |
| "include/hardware/regs/resets.h", |
| "include/hardware/regs/rosc.h", |
| "include/hardware/regs/rtc.h", |
| "include/hardware/regs/sio.h", |
| "include/hardware/regs/spi.h", |
| "include/hardware/regs/ssi.h", |
| "include/hardware/regs/syscfg.h", |
| "include/hardware/regs/sysinfo.h", |
| "include/hardware/regs/tbman.h", |
| "include/hardware/regs/timer.h", |
| "include/hardware/regs/uart.h", |
| "include/hardware/regs/usb.h", |
| "include/hardware/regs/usb_device_dpram.h", |
| "include/hardware/regs/vreg_and_chip_reset.h", |
| "include/hardware/regs/watchdog.h", |
| "include/hardware/regs/xip.h", |
| "include/hardware/regs/xosc.h", |
| ], |
| includes = ["include"], |
| ) |
