On Mon, Jan 9, 2023 at 4:41 AM Johannes Schlatow johannes.schlatow@genode-labs.com wrote:
... 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.
Ah. thanks. That does explain it.
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
Thanks! I think I made some progress using those instructions, but I ran into:
[runtime -> vm -> vbox] Error: VDIfTcpNetInstDefaultDestroy: VDIfTcpNetInstDefaultDestroy called, not implemented, eip=0x1802dfd
The full log is attached.
Any clues?