to load binaries from Linux user-space to memory region dedicated for M4 seems like one would have to implement a Linux device driver. The driver would be accessible from user-space with standard functions for file operations (fopen, fclose,..).