Debugging is not an issue, Asahi seems to have it figured out, especially with the virtualization. It's the design that takes time.
Meanwhile Omarchy, for example, just brute-forces everything, with ugly patches that work today but cannot be upstreamed as such, so they'll break tomorrow with new kernel release. I really expect them to start struggling a lot going forward with maintaining the support they claim. Regressions may actually kill their effort.