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/

Reply via email to