That's a shame. We used claude to migrate redox very successfully to pure rust cranlift on mac: https://github.com/pannous/redox https://github.com/pannous/redo

That's a shame. We used claude to migrate redox very successfully to pure rust cranlift on mac: https://github.com/pannous/redox https://github.com/pannous/redox (but then got stuck on multi-cpu assembly):