1load("//bazel:defs.bzl", "compatible_with_rp2")
2
3package(default_visibility = ["//visibility:public"])
4
5cc_library(
6    name = "pico_mbedtls",
7    srcs = ["pico_mbedtls.c"],
8    hdrs = ["include/sha256_alt.h"],
9    includes = ["include"],
10    target_compatible_with = compatible_with_rp2(),
11    deps = [
12        "//bazel/config:PICO_MBEDTLS_LIB",
13        "//src/rp2_common:pico_platform",
14        "//src/rp2_common/pico_rand",
15        "//src/rp2_common/pico_sha256",
16    ],
17)
18