third_party/pico_sdk/src/common/pico_stdlib/pico_stdio.gni

# Copyright 2022 The Pigweed Authors
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
#     https://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
# License for the specific language governing permissions and limitations under
# the License.

ENUM_LIB_PICO_STDIO = {
  UART = "LIB_PICO_STDIO_UART"
  USB = "LIB_PICO_STDIO_USB"
  SEMIHOSTING = "LIB_PICO_STDIO_SEMIHOSTING"
}

# TODO(amontanez): This looks like a facade. Rethink?
declare_args() {
  PICO_STDIO = ENUM_LIB_PICO_STDIO.UART
}