Skip to content

Commit

Permalink
app/prj.conf: disable PICOLIBC with CONFIG_MINIMAL_LIBC=y
Browse files Browse the repository at this point in the history
Starting from Zephyr commit f0daf904bb02, CONFIG_PICOLIBC is on by
default.

PICOLIBC does not seem compatible with sparse yet:
zephyrproject-rtos/zephyr#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>
  • Loading branch information
marc-hb committed Sep 23, 2023
1 parent 75337b4 commit 40a7b81
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions app/prj.conf
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit 40a7b81

Please sign in to comment.