I only got as far as making WiFi work (in station mode)… Not sure if bluetooth is working or supported, all of the drivers for CYW are MicroPython’s drivers.
You just need to copy python modules to the storage/SD card and you can then import them after a reset.
We have plans to make the M4 accessible by the users from Python so you can just load any M4 binary and start it, just there’s not enough interest from Arduino in supporting that at this point.