...: fatal error: SDBlockDevice.h: No such file or directory
The same mbed_app.json on mbed cli does not run into this error (though other unrelated errors prevent it from building - I think they were linker errors).
I could copy the components/storage/blockdevice/COMPONENT_SD, storage/blockdevice, and storage/filesystem folders into a library, and with the addition of stubbing out rtos::ThisThread::sleep_for, it compiles and runs fine. But that seems like an ugly solution which unnecessarily duplicates code.
So:
Is my mbed_app.json wrong? Or is there another way to add these mbed components without requiring the RTOS?
Or is there a way to write a library.json that references the code in the mbed framework that PIO pulls?
since presumably the base mbed directory is on the include path, but does not link with errors like undefined reference to 'SDBlockDevice::SDBlockDevice(PinName, PinName, PinName, PinName, unsigned long long, bool)', presumably because those components and features are not being compiled.