you can run linux on riscv without an MMU. There is mainline support for Kendryte K210 chip, so it should be possible port to this chip provided you have enough PSRAM.
Interesting that they made a new chip with BLE+BR/EDR again. all the chips after the original ESP32 were BLE only.
Hope this chip has good low power options so we can use it in Bluetooth audio workloads.
Redox Os is a microkernel operating system, completely different from monolithic kernels like Linux or BSD. I doubt it'll be easy to get existing ZFS drivers working on it at all.