@foone not just at boot! Boot selects core 0 but you can pick what arch to start for core 1 at runtime. You have to ship two binaries of course, and it seems like the tooling isn't quite there yet. But it's possible.
@zrail@foone can core 1 be rebooted into the other arch while keeping core 0 running? (not something I'd normally expect to work, but this sounds like a device that might want to be able to do that)
@zrail @foone can core 1 be rebooted into the other arch while keeping core 0 running? (not something I'd normally expect to work, but this sounds like a device that might want to be able to do that)