In case anybody wants to use this lib with platformio, it appears that adding the following line (for Teensy 4.1)

build_flags = -L ./lib/microros_ros_arduino-0.0.2/imxrt1062/fpv5-d16-hard/ -l libmicroros

to platformio.ini fixes the linker issues, without having to modify the platform.txt file needed when compiling with the Arduino IDE.