On Tue, 2022-05-10 at 14:47 +0200, Janosch Frank wrote: > Having them separate is fine. I'd change the file name to > migration-cmm.elf though. We might also want to change the name of > the > first migration test in the future to make the name more specific. Yes, good thought. I have it on my TODO.