make: config: more comment

tock · Mar 29, 2024 · 549d516 · 549d516
1 parent d68bc07
commit 549d516
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Configuration.mk b/Configuration.mk
@@ -193,7 +193,8 @@ override CPPFLAGS_PIC += \
       -fPIC
 
 ifneq ($(PICOLIB),)
-  # Use picolib
+  # Use picolib for libc. We need to include the `picolib-tock` library which
+  # maps Tock's system-level functions to the names that picolib expects.
   EXTERN_LIBS += $(TOCK_USERLAND_BASE_DIR)/picolib-tock
 endif