<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">https://bugs.gentoo.org/867283
https://wiki.gentoo.org/wiki/Musl_porting_notes#cdefs.h:_No_such_file_or_directory
--- a/pico-sdk/src/host/pico_platform/include/pico/platform.h
+++ b/pico-sdk/src/host/pico_platform/include/pico/platform.h
@@ -13,7 +13,11 @@
 
 #ifdef __unix__
 
-#include &lt;sys/cdefs.h&gt;
+#if defined __has_include
+# if __has_include (&lt;sys/cdefs.h&gt;)
+#  include &lt;sys/cdefs.h&gt;
+# endif
+#endif
 
 #endif
 
</pre></body></html>