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!
--
John J. Karcher
[email protected]
_______________________________________________
users mailing list -- [email protected]
To unsubscribe send an email to [email protected]
Archived at
https://lists.genode.org/mailman3/hyperkitty/list/[email protected]/message/3OSJ4PFDI7BRDDAZQCCZRGRHDKG47AZO/