Hello Genodians,
During the Roadmap discussion, Alexander expressed some relief about switching from VirtualBox to Seoul for his main VM. I can't find much information about Seoul online, though. Is there any handy info about:
1. Advantages / disadvantages of Seoul vs. VirtualBox
2. What's involved in migrating from VirtualBox to Seoul?
3. Maintaining a Seoul system (tools, etc.)
Thanks!