load("//bazel:defs.bzl", "compatible_with_rp2")

package(default_visibility = ["//visibility:public"])

cc_library(
    name = "pico_platform_sections",
    hdrs = ["include/pico/platform/sections.h"],
    includes = ["include"],
    target_compatible_with = compatible_with_rp2(),
)