if using picolib, add picolib-tock as extern lib

Author: bradjc

Configuration.mk

@@ -192,6 +192,11 @@ override CPPFLAGS_PIC += \
       -Wl,--emit-relocs\
       -fPIC
 
+ifneq ($(PICOLIB),)
+  # Use picolib
+  EXTERN_LIBS += $(TOCK_USERLAND_BASE_DIR)/picolib-tock
+endif
+
 ################################################################################
 ##
 ## RISC-V compiler/linker flags