> How do I compile a program to use the static driver? I've looked at the documentation and didn't find a hint. Maybe I haven't looked hard enough?

As far as I know this isn't documented at all. Please check out the mousetest.c sample program and look for `DYN_DRV`. Please note that the target header files for targets without disk i/o support contain `#define DYN_DRV 0` so building for them "automatically" switches to static drivers.