From 40a7b813f4fbdd6c39083837e72705c0992c384f Mon Sep 17 00:00:00 2001
From: Marc Herbert <marc.herbert@intel.com>
Date: Sat, 23 Sep 2023 08:54:09 +0000
Subject: [PATCH] app/prj.conf: disable PICOLIBC with CONFIG_MINIMAL_LIBC=y

Starting from Zephyr commit f0daf904bb02, CONFIG_PICOLIBC is on by
default.

PICOLIBC does not seem compatible with sparse yet:
https://github.com/zephyrproject-rtos/zephyr/issues/63003

Even if it were compatible with sparse, it seems like a pretty big
change that we should not immediately and blindly accept.

Signed-off-by: Marc Herbert <marc.herbert@intel.com>
---
 app/prj.conf | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/app/prj.conf b/app/prj.conf
index 49b09f62789b..a5164e1926c6 100644
--- a/app/prj.conf
+++ b/app/prj.conf
@@ -14,6 +14,11 @@ CONFIG_OUTPUT_DISASSEMBLY=y
 
 CONFIG_HAVE_AGENT=n
 
+# PICOLIBC does not seem compatible with the "sparse" static analyzer
+# yet, see https://github.com/zephyrproject-rtos/zephyr/issues/63003
+# Plus the paint on it is still wet.
+CONFIG_MINIMAL_LIBC=y
+
 CONFIG_LOG=y
 CONFIG_LOG_PRINTK=y
 # Log processing is offloaded to a low-priority thread.