From 41b20e994970f0ae63fb3f49c6f89a0b2f06aecb Mon Sep 17 00:00:00 2001
From: Keith Packard <keithp@keithp.com>
Date: Sun, 12 Feb 2023 14:23:32 -0800
Subject: [PATCH 7/9] Support picolibc targets

Match *-picolibc-* and select picolibc as the default C library, plus continuing to use
the newlib-based logic for other configuration items.

Signed-off-by: Keith Packard <keithp@keithp.com>
---
 gcc/config.gcc |   11 +++++++++++
 1 file changed, 11 insertions(+)

--- a/gcc/config.gcc
+++ b/gcc/config.gcc
@@ -1082,6 +1082,17 @@
       ;;
   esac
   ;;
+*-picolibc-*)
+  # __cxa_atexit is provided.
+  default_use_cxa_atexit=yes
+  use_gcc_stdint=wrap
+  default_libc=LIBC_PICOLIBC
+  case "${with_newlib}-${with_headers}" in
+  no-no) use_gcc_stdint=provide ;;
+  *) ;;
+  esac
+  ;;
+
 *-*-elf|arc*-*-elf*)
   # Assume that newlib is being used and so __cxa_atexit is provided.
   default_use_cxa_atexit=yes