Hi Dan,
On Sun, 8 Jan 2023 22:20:36 -0600 Dan Connolly dckc@madmode.com wrote:
I recently got a used ThinkPad just for genode. Over the holiday break, I managed to follow Schlatow's article[1] far enough to get dual boot working, but I'm struggling with vbox6. I think I need to get a better working knowledge of VirtualBox before I try it on genode again. [1] https://genodians.org/jschlatow/2021-04-23-start-existing-linux-from-sculpt
Before I forgot it all, I wrote myself some notes[2]. Then I added some context for a wider audience in preparation for a possible "show and tell" for my colleagues at Agoric.com:
Toward capabilities all the way down with Genode on a Thinkpad [2] https://www.madmode.com/2023/genode-thinkpad-dual-boot.html
I'd appreciate any feedback on the item.
Please note that my article is a bit outdated as it describes the use of vbox5 (not vbox6) to start an existing Linux installation from Sculpt. If you strictly followed the instructions, you probably ended up creating a machine.vbox file instead of a machine.vbox6 file. This could explain why vbox6 cannot find a machine.vbox6 file.
More up-to-date and beginner friendly instructions can be found in this article: https://genodians.org/jschlatow/2022-10-27-fresh-vm-on-sculpt
It describes how to install and boot a Linux VM on Sculpt. I suggest you first try to reproduce this in order to get familiar with the basics. Once you have a simple VM up and running you may revisit the dual boot scenario.